Nicolas Wu

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 53

Top Venues

Proc. ACM Program. Lang.

CoRR

Haskell

MPC

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu
Algebraic Effects Meet Hoare Logic in Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Omar Tahir, Wayne Luk, Nicolas Wu
Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification. HEART (2023)
Steffen van Bakel, Nicolas Wu, Emma Tye
A Calculus of Delayed Reductions. PPDP (2023)
Marco Paviotti, Nicolas Wu
Full Abstraction for Free. CoRR (2023)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Phases in Software Architecture. FUNARCH (2023)
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
Embedding by Unembedding. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Nicolas Wu
The Evolution of Effects (Keynote). Haskell (2023)
Zhixuan Yang, Nicolas Wu
Modular Models of Monoids with Operations. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Zhixuan Yang, Nicolas Wu
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. MPC (2022)
Jamie Willis, Nicolas Wu
Design patterns for parser combinators in scala. SCALA@ECOOP (2022)
Minh Nguyen, Nicolas Wu
Folding over Neural Networks. MPC (2022)
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
Flexible presentations of graded monads. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Zhixuan Yang, Nicolas Wu
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. CoRR (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects. ESOP (2022)
Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
Fusing Industry and Academia at GitHub (Experience Report). CoRR (2022)
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
Modular Probabilistic Models via Algebraic Effects. CoRR (2022)
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Minh Nguyen, Nicolas Wu
Folding over Neural Networks. CoRR (2022)
Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
Structured Handling of Scoped Effects: Extended Version. CoRR (2022)
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6 (POPL) (2022)
Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Breadth-First Traversal via Staging. MPC (2022)
Jamie Willis, Nicolas Wu, Tom Schrijvers
Oregano: staging regular expressions with Moore Cayley fusion. Haskell (2022)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components. APLAS (2021)
Jamie Willis, Nicolas Wu
Design patterns for parser combinators (functional pearl). Haskell (2021)
Hashan Punchihewa, Nicolas Wu
Safe mutation with algebraic effects. Haskell (2021)
Zhixuan Yang, Nicolas Wu
Reasoning about effect interaction by fusion. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Matthew Pickering, Andres Löh, Nicolas Wu
A Specification for Typed Template Haskell. CoRR (2021)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components: Extended Version. CoRR (2021)
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
Linear Constraints. CoRR (2021)
Donnacha Oisín Kidney, Nicolas Wu
Algebras for weighted search. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Matthew Pickering, Andres Löh, Nicolas Wu
Staged sums of products. Haskell@ICFP (2020)
Jamie Willis, Nicolas Wu, Matthew Pickering
Staged selective parser combinators. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Sean Innes, Nicolas Wu
Tic tac types: a gentle introduction to dependently typed programming (functional pearl). TyDe@ICFP (2019)
Matthew Pickering, Nicolas Wu, Boldizsár Németh
Working with source plugins. Haskell@ICFP (2019)
Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. 2019 (2019)
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP (2019)
Matthew Pickering, Nicolas Wu, Csongor Kiss
Multi-stage programs in context. Haskell@ICFP (2019)
Csongor Kiss, Matthew Pickering, Nicolas Wu
Generic deriving of generic traversals. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Csongor Kiss, Matthew Pickering, Nicolas Wu
Generic Deriving of Generic Traversals. CoRR (2018)
Jamie Willis, Nicolas Wu
Garnishing parsec with parsley. SCALA@ICFP (2018)
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
Syntax and Semantics for Operations with Scopes. LICS (2018)
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
Profunctor Optics: Modular Data Accessors. CoRR (2017)
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. 1 (2) (2017)
David Wong, Nicolas Wu, Peter J. Watkinson
Quantitative metrics for evaluating the phased roll-out of clinical information systems. Int. J. Medical Informatics 105 (2017)
Maciej Piróg, Nicolas Wu
String diagrams for free monads (functional pearl). ICFP (2016)
Ralf Hinze, Nicolas Wu
Unifying structured recursion schemes - An Extended Study. J. Funct. Program. 26 (2016)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL (2015)
Maciej Piróg, Nicolas Wu, Jeremy Gibbons
Modules Over Monads and Their Algebras. CALCO (2015)
Nicolas Wu, Tom Schrijvers
Fusion for Free - Efficient Algebraic Effect Handlers. MPC (2015)
Nicolas Wu, Andrew C. Simpson
Formal relational database design: an exercise in extending the formal template language. Formal Aspects Comput. 26 (6) (2014)
Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP (2014)
Nicolas Wu, Tom Schrijvers, Ralf Hinze
Effect handlers in scope. Haskell (2014)
Jeremy Gibbons, Nicolas Wu
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP (2014)
Ralf Hinze, José Pedro Magalhães, Nicolas Wu
A Duality of Sorts. The Beauty of Functional Code (2013)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Unifying structured recursion schemes. ICFP (2013)
Ralf Hinze, Nicolas Wu
Histo- and dynamorphisms revisited. WGP@ICFP (2013)
Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
Sorting with bialgebras and distributive laws. WGP@ICFP (2012)
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
Pure and Lazy Lambda Mining - An Experience Report. IFL (2012)
Meng Wang, Jeremy Gibbons, Nicolas Wu
Incremental updates for efficient bidirectional transformations. ICFP (2011)
Ralf Hinze, Nicolas Wu
Towards a categorical foundation for generic programming. WGP@ICFP (2011)
Nicolas Wu, Andrew Simpson
Towards Formally Templated Relational Database Representations in Z. ASM (2010)

Nicolas Wu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Wu