Skip to content

Nicolas Wu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

33

Venues

11

Active years

2011–2026

Best venue rank

A*

Where they publish

Papers

33 indexed papers, newest first.

YearVenueTitleAuthors
2026PEPMRevisiting the Evolution of Effects (Invited Talk).Nicolas Wu
2025ASPLOSRatte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics.Pingshi Yu, Nicolas Wu, Alastair F. Donaldson
2025HASKELLTotal Type Classes.Robert Weingart, Nicolas Wu
2024ESOPScoped Effects as Parameterized Algebraic Theories.Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024HASKELLMaking a Curry Interpreter using Effects and Handlers.Niels Bunkenburg, Nicolas Wu
2023HASKELLThe Evolution of Effects (Keynote).Nicolas Wu
2023PPDPA Calculus of Delayed Reductions.Steffen van Bakel, Nicolas Wu, Emma Tye
2022ESOPStructured Handling of Scoped Effects.Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022HASKELLOregano: staging regular expressions with Moore Cayley fusion.Jamie Willis, Nicolas Wu, Tom Schrijvers
2022MPCBreadth-First Traversal via Staging.Jeremy Gibbons, Donnacha Oisn Kidney, Tom Schrijvers, Nicolas Wu
2022MPCFolding over Neural Networks.Minh Nguyen, Nicolas Wu
2022MPCFantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes.Zhixuan Yang, Nicolas Wu
2021APLASLatent Effects for Reusable Language Components.Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021HASKELLSafe mutation with algebraic effects.Hashan Punchihewa, Nicolas Wu
2021HASKELLDesign patterns for parser combinators (functional pearl).Jamie Willis, Nicolas Wu
2020HASKELLStaged sums of products.Matthew Pickering, Andres Lh, Nicolas Wu
2019HASKELLMulti-stage programs in context.Matthew Pickering, Nicolas Wu, Csongor Kiss
2019HASKELLWorking with source plugins.Matthew Pickering, Nicolas Wu, Boldizsr Nmeth
2019HASKELLMonad transformers and modular algebraic effects: what binds them together.Tom Schrijvers, Maciej Pirg, Nicolas Wu, Mauro Jaskelioff
2019ICFPTic tac types: a gentle introduction to dependently typed programming (functional pearl).Sean Innes, Nicolas Wu
2018LICSSyntax and Semantics for Operations with Scopes.Maciej Pirg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2016ICFPString diagrams for free monads (functional pearl).Maciej Pirg, Nicolas Wu
2015CALCOModules Over Monads and Their Algebras.Maciej Pirg, Nicolas Wu, Jeremy Gibbons
2015MPCFusion for Free - Efficient Algebraic Effect Handlers.Nicolas Wu, Tom Schrijvers
2015POPLConjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2014HASKELLEffect handlers in scope.Nicolas Wu, Tom Schrijvers, Ralf Hinze
2014ICFPFolding domain-specific languages: deep and shallow embeddings (functional Pearl).Jeremy Gibbons, Nicolas Wu
2014PPDPHeuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation.Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
2013ICFPHisto- and dynamorphisms revisited.Ralf Hinze, Nicolas Wu
2013ICFPUnifying structured recursion schemes.Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2012ICFPSorting with bialgebras and distributive laws.Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, Jos Pedro Magalhes
2011ICFPTowards a categorical foundation for generic programming.Ralf Hinze, Nicolas Wu
2011ICFPIncremental updates for efficient bidirectional transformations.Meng Wang, Jeremy Gibbons, Nicolas Wu