Nicolas Wu
where else to find them
linkedin:nicolasgwu
what they talk about
all 7 in the filters
where they keep going back
all 11 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Zhixuan Yang3 talks
- Ningning Xie21 talks
- Yizhou Zhang13 talks
- Donnacha Oisín Kidney5 talks
- Steve Zdancewic19 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| Revisiting the Evolution of Effects (Invited Talk) | PEPM 2026 | 2026-01-11 |
Traces the technical line from monads through monad transformers to algebraic and higher‑order effects, arguing concrete tradeoffs: monads sequence effects but… | ||
| Handling Higher-Order Effectful Operations with Judgemental Monadic Laws | POPL 2026 | 2026-01-11 |
Presents a core calculus for higher-order effectful operations with higher-kinded impredicative polymorphism and optional recursion, where handlers live in… | ||
| Bayesian Separation Logic | POPL 2026 | 2026-01-11 |
Introduces a separation logic that actually models Bayesian updating and scoring, proving an internal Bayes' theorem by invoking the Rokhlin‑Simmons… | ||
| Hyperfunctions: Communicating Continuations | POPL 2026 | 2026-01-11 |
Identifies a recurring type — the hyperfunction — that actually implements communication between continuations and concurrent processes, shows it appears in… | ||
| Total Type Classes | Haskell 2025 | 2025-10-16 |
Identifies a pattern where type classes over data kinds are provably total and implements a GHC plugin that (1) verifies totality by doing exhaustiveness… | ||
| Formalising Graph Algorithms with Coinduction | POPL 2025 | 2025-01-19 |
Formalisation in Cubical Agda treats graphs as coinductive functions V -> Neighbors V where neighbors are monus-weighted neighbors (possibly infinite multisets… | ||
| The Evolution of Effects | PLMW @ POPL 2024 | 2024-01-17 |
A concise history of effects traces monads → monad transformers → algebraic effects → higher-order effects, showing how do-notation origin and the bind symbol… | ||
| Modular Higher-Order Effects | PADL 2024 | 2024-01-15 |
An implementation in Haskell called the effective library provides modular higher-order effects: it implements algebraic and scoped (higher-order) operations… | ||
| Algebraic Effects Meet Hoare Logic in Cubical Agda | POPL 2024 | 2024-01-14 |
Library formalises algebraic effects with equations in Cubical Agda using quotient types instead of setoids, provides a free model plus concrete models, and… | ||
| A Calculus of Delayed Reductions | PPDP 2023 | 2023-10-22 |
Introduce the Calculus of Delayed Reductions (CDR) that tweaks CBPV: forcing only variables, thunking only non-forced computations, and a new substitution that… | ||
| The Evolution of Effects | Haskell 2023 | 2023-09-08 |
Survey of monads to monad transformers to algebraic and higher‑order effects, arguing that higher-order free monad signatures fix non‑algebraic scoped… | ||
| Phases in Software Architecture | FUNARCH 2023 | 2023-09-08 |
Argues that multi‑phase program structure is captured by an applicative functor encoding phases, uses Day convolution to compose two‑phase and iterated… | ||
| Multi-phase computation as an applicative functor | TyDe 2023 | 2023-09-04 |
Claims that structuring a computation as an applicative with phases (implemented via Day convolution / an iterated, homogeneous “phases” type) lets a single… | ||
| Modular Models of Monoids with Operations | ICFP 2023 | 2023-09-04 |
A categorical framework presents equational theories of monoids equipped with arbitrary operations and shows an explicit monoid-theory correspondence: the… | ||
| Embedding by Unembedding | ICFP 2023 | 2023-09-04 |
Presents a concrete recipe that turns a tagless‑final (HOAS) interface into de Bruijn terms via embedding by unembedding, exposing when HOAS fails and how to… | ||
| Oregano: Staging Regular Expressions with Moore Cayley Fusion | Haskell Symposium 2022 | 2022-09-15 |
Oregano implements regular expressions as Moore machines with a Cayley/CPS compilation pipeline and staged meta-programming to emit specialized matcher code… | ||
| Flexible Presentations of Graded Monads | ICFP 2022 | 2022-09-11 |
Defines a flexibly graded presentation that permits operations whose arguments carry different grades and proves two concrete claims: every such presentation… | ||
| Fusing Industry and Academia at GitHub (Experience Report) | ICFP 2022 | 2022-09-11 |
GitHub describes building Semantic in Haskell to power code navigation and structural diffing across 9 languages, using tree-sitter grammars compiled to C for… | ||
| Modular Probabilistic Models via Algebraic Effects | ICFP 2022 | 2022-09-11 |
Claims a Haskell-embedded DSL that makes probabilistic models first-class and reusable by using algebraic effects so one model serves for simulation… | ||
| Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness | ICFP 2022 | 2022-09-11 |
Adds implicit linear constraints as qualified types and implements a constraint generation and inference algorithm that extends GHCs solver, desugaring the… | ||
| Staging with Class: A Specification for Typed Template Haskell | POPL 2022 | 2022-01-16 |
Shows that Template Haskell’s interaction with overloading is unsound: splicing well-typed code can produce missing-dictionary errors. Proposes staged type… | ||
| Latent Effects for Reusable Language Components | APLAS 2021 | 2021-10-17 |
Claims a new class called latent effects that strictly generalizes algebraic and scoped effects and adds a modular latent monad plus a latent functor L to let… | ||
| Staged Selective Parser Combinators | ICFP 2020 | 2020-08-23 |
Compiler for parser combinators that converts typed combinator trees into a CPS-style instruction machine and partially evaluates it with typed staging… | ||
| Tic Tac Types | TyDe 2019 | 2019-08-18 |
Implements Tic‑Tac‑Toe with dependent types: starts from unsafe |String| boards, moves to vectors that know their length, then encodes moves as data… | ||
| nothing matches | ||