Towards Formally Templated Relational Database Representations in Z. - Nicolas Wu; Andrew Simpson 001 (ASM, 2010)

Generative templates for formal metamodel design. - Nicolas Wu (2010)

Towards a categorical foundation for generic programming. - Ralf Hinze; Nicolas Wu (WGP@ICFP, 2011)

Incremental updates for efficient bidirectional transformations. - Meng Wang 002; Jeremy Gibbons; Nicolas Wu (ICFP, 2011)

Sorting with bialgebras and distributive laws. - Ralf Hinze; Daniel W. H. James; Thomas Harper; Nicolas Wu; José Pedro Magalhães (WGP@ICFP, 2012)

Pure and Lazy Lambda Mining - An Experience Report. - Nicolas Wu; José Pedro Magalhães; Jeroen Bransen; Wouter Swierstra (IFL, 2012)

A Duality of Sorts. - Ralf Hinze; José Pedro Magalhães; Nicolas Wu (The Beauty of Functional Code, 2013)

Histo- and dynamorphisms revisited. - Ralf Hinze; Nicolas Wu (WGP@ICFP, 2013)

Unifying structured recursion schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (ICFP, 2013)

Effect handlers in scope. - Nicolas Wu; Tom Schrijvers; Ralf Hinze (Haskell, 2014)

Folding domain-specific languages: deep and shallow embeddings (functional Pearl). - Jeremy Gibbons; Nicolas Wu (ICFP, 2014)

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. - Tom Schrijvers; Nicolas Wu; Benoit Desouter; Bart Demoen (PPDP, 2014)

Formal relational database design: an exercise in extending the formal template language. - Nicolas Wu; Andrew C. Simpson (Formal Aspects Comput., 2014)

Modules Over Monads and Their Algebras. - Maciej Piróg; Nicolas Wu; Jeremy Gibbons (CALCO, 2015)

Fusion for Free - Efficient Algebraic Effect Handlers. - Nicolas Wu; Tom Schrijvers (MPC, 2015)

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. - Ralf Hinze; Nicolas Wu; Jeremy Gibbons (POPL, 2015)

String diagrams for free monads (functional pearl). - Maciej Piróg; Nicolas Wu (ICFP, 2016)

Unifying structured recursion schemes - An Extended Study. - Ralf Hinze; Nicolas Wu (J. Funct. Program., 2016)

Quantitative metrics for evaluating the phased roll-out of clinical information systems. - David Wong 001; Nicolas Wu; Peter J. Watkinson (Int. J. Medical Informatics, 2017)

Profunctor Optics: Modular Data Accessors. - Matthew Pickering; Jeremy Gibbons; Nicolas Wu (Art Sci. Eng. Program., 2017)

Syntax and Semantics for Operations with Scopes. - Maciej Piróg; Tom Schrijvers; Nicolas Wu; Mauro Jaskelioff (LICS, 2018)

Garnishing parsec with parsley. - Jamie Willis; Nicolas Wu (SCALA@ICFP, 2018)

Relational algebra by way of adjunctions. - Jeremy Gibbons; Fritz Henglein; Ralf Hinze; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Generic deriving of generic traversals. - Csongor Kiss; Matthew Pickering; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Multi-stage programs in context. - Matthew Pickering; Nicolas Wu; Csongor Kiss (Haskell@ICFP, 2019)

Working with source plugins. - Matthew Pickering; Nicolas Wu; Boldizsár Németh (Haskell@ICFP, 2019)

Monad transformers and modular algebraic effects: what binds them together. - Tom Schrijvers; Maciej Piróg; Nicolas Wu; Mauro Jaskelioff (Haskell@ICFP, 2019)

Tic tac types: a gentle introduction to dependently typed programming (functional pearl). - Sean Innes; Nicolas Wu (TyDe@ICFP, 2019)

Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). - Oleg Kiselyov; Sam Lindley; Gordon D. Plotkin; Nicolas Wu (NII Shonan Meet. Rep., 2019)

Staged sums of products. - Matthew Pickering; Andres Löh; Nicolas Wu (Haskell@ICFP, 2020)

Staged selective parser combinators. - Jamie Willis; Nicolas Wu; Matthew Pickering (Proc. ACM Program. Lang., 2020)

Latent Effects for Reusable Language Components. - Birthe van den Berg; Tom Schrijvers; Casper Bach Poulsen; Nicolas Wu (APLAS, 2021)

Safe mutation with algebraic effects. - Hashan Punchihewa; Nicolas Wu (Haskell, 2021)

Design patterns for parser combinators (functional pearl). - Jamie Willis; Nicolas Wu (Haskell, 2021)

Linear Constraints. - Jean-Philippe Bernardy; Richard A. Eisenberg; Csongor Kiss; Arnaud Spiwack; Nicolas Wu (CoRR, 2021)

Latent Effects for Reusable Language Components: Extended Version. - Birthe van den Berg; Tom Schrijvers; Casper Bach Poulsen; Nicolas Wu (CoRR, 2021)

A Specification for Typed Template Haskell. - Matthew Pickering; Andres Löh; Nicolas Wu (CoRR, 2021)

Algebras for weighted search. - Donnacha Oisín Kidney; Nicolas Wu (Proc. ACM Program. Lang., 2021)

Reasoning about effect interaction by fusion. - Zhixuan Yang; Nicolas Wu (Proc. ACM Program. Lang., 2021)

Algorithmics. - Richard S. Bird; Jeremy Gibbons; Ralf Hinze; Peter Höfner; Johan Jeuring; Lambert G. L. T. Meertens; Bernhard Möller; Carroll Morgan; Tom Schrijvers; Wouter Swierstra; Nicolas Wu (IFIP's Exciting First 60+ Years, 2021)

Structured Handling of Scoped Effects. - Zhixuan Yang; Marco Paviotti; Nicolas Wu; Birthe van den Berg; Tom Schrijvers (ESOP, 2022)

Oregano: staging regular expressions with Moore Cayley fusion. - Jamie Willis; Nicolas Wu; Tom Schrijvers (Haskell, 2022)

Breadth-First Traversal via Staging. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (MPC, 2022)

Folding over Neural Networks. - Minh Nguyen; Nicolas Wu (MPC, 2022)

Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. - Zhixuan Yang; Nicolas Wu (MPC, 2022)

Design patterns for parser combinators in scala. - Jamie Willis; Nicolas Wu (SCALA@ECOOP, 2022)

Structured Handling of Scoped Effects: Extended Version. - Zhixuan Yang; Marco Paviotti; Nicolas Wu; Birthe van den Berg; Tom Schrijvers (CoRR, 2022)

Flexible presentations of graded monads. - Shin-ya Katsumata; Dylan McDermott; Tarmo Uustalu; Nicolas Wu (Proc. ACM Program. Lang., 2022)

Modular probabilistic models via algebraic effects. - Minh Nguyen; Roly Perera; Meng Wang 002; Nicolas Wu (Proc. ACM Program. Lang., 2022)

Linearly qualified types: generic inference for capabilities and uniqueness. - Arnaud Spiwack; Csongor Kiss; Jean-Philippe Bernardy; Nicolas Wu; Richard A. Eisenberg (Proc. ACM Program. Lang., 2022)

Fusing industry and academia at GitHub (experience report). - Patrick Thomson; Rob Rix; Nicolas Wu; Tom Schrijvers (Proc. ACM Program. Lang., 2022)

Staging with class: a specification for typed template Haskell. - Ningning Xie; Matthew Pickering; Andres Löh; Nicolas Wu; Jeremy Yallop; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

Phases in Software Architecture. - Jeremy Gibbons; Donnacha Oisín Kidney; Tom Schrijvers; Nicolas Wu (FUNARCH, 2023)

The Evolution of Effects (Keynote). - Nicolas Wu (Haskell, 2023)

Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification. - Omar Tahir; Wayne Luk; Nicolas Wu (HEART, 2023)

A Calculus of Delayed Reductions. - Steffen van Bakel; Nicolas Wu; Emma Tye (PPDP, 2023)

Full Abstraction for Free. - Marco Paviotti; Nicolas Wu (CoRR, 2023)

Embedding by Unembedding. - Kazutaka Matsuda; Samantha Frohlich; Meng Wang 002; Nicolas Wu (Proc. ACM Program. Lang., 2023)

Modular Models of Monoids with Operations. - Zhixuan Yang; Nicolas Wu (Proc. ACM Program. Lang., 2023)

Scoped Effects as Parameterized Algebraic Theories. - Sam Lindley; Cristina Matache; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ESOP (1), 2024)

Making a Curry Interpreter using Effects and Handlers. - Niels Bunkenburg; Nicolas Wu (Haskell, 2024)

Algebraic Effects Meet Hoare Logic in Cubical Agda. - Donnacha Oisín Kidney; Zhixuan Yang; Nicolas Wu (Proc. ACM Program. Lang., 2024)

Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics. - Pingshi Yu; Nicolas Wu; Alastair F. Donaldson (ASPLOS (2), 2025)

Formalising Graph Algorithms with Coinduction. - Donnacha Oisín Kidney; Nicolas Wu (Proc. ACM Program. Lang., 2025)

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. - Cristina Matache; Sam Lindley; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ACM Trans. Program. Lang. Syst., 2025)

Bayesian Separation Logic. - Shing Hin Ho; Nicolas Wu; Azalea Raad (CoRR, 2025)