Nicolas Wu - RankMe

85 papers A* 2A 5B 6C 10Journal 40Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming. Proc. ACM Program. Lang. Shing Hin Ho, Nicolas Wu, Azalea Raad
2026	J	`jnl`	Handling Higher-Order Effectful Operations with Judgemental Monadic Laws. Proc. ACM Program. Lang. Zhixuan Yang, Nicolas Wu
2026	J	`jnl`	Hyperfunctions: Communicating Continuations. Proc. ACM Program. Lang. Donnacha Oisín Kidney, Nicolas Wu
2026	C	`conf`	Revisiting the Evolution of Effects (Invited Talk). PEPM Nicolas Wu
2026	J	`jnl`	Stone Duality for Monads. CoRR Richard Garner, Alyssa Renata, Nicolas Wu
2025	J	`jnl`	A Non-Terminating Game of Beggar-My-Neighbor. Am. Math. Mon. Brayden Casella, Philip M. Anderson, Michael Kleber, Richard P. Mann, Reed Nessler, William Rucklidge, Samuel G. Williams, Nicolas Wu
2025	J	`jnl`	Bayesian Separation Logic. CoRR Shing Hin Ho, Nicolas Wu, Azalea Raad
2025	J	`jnl`	Formalising Graph Algorithms with Coinduction. Proc. ACM Program. Lang. Donnacha Oisín Kidney, Nicolas Wu
2025	J	`jnl`	Handling Higher-Order Effectful Operations with Judgemental Monadic Laws. CoRR Zhixuan Yang, Nicolas Wu
2025	J	`jnl`	JFP special issue on program calculation. J. Funct. Program. Graham Hutton, Nicolas Wu
2025	—	`conf`	Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics. ASPLOS (2) Pingshi Yu, Nicolas Wu, Alastair F. Donaldson
2025	J	`jnl`	Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. ACM Trans. Program. Lang. Syst. Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2025	C	`conf`	Total Type Classes. Haskell Robert Weingart, Nicolas Wu
2024	J	`jnl`	Algebraic Effects Meet Hoare Logic in Cubical Agda. Proc. ACM Program. Lang. Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu
2024	C	`conf`	Making a Curry Interpreter using Effects and Handlers. Haskell Niels Bunkenburg, Nicolas Wu
2024	—	`conf`	Scoped Effects as Parameterized Algebraic Theories. ESOP (1) Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024	J	`jnl`	Scoped Effects as Parameterized Algebraic Theories. CoRR Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2023	C	`conf`	A Calculus of Delayed Reductions. PPDP Steffen van Bakel, Nicolas Wu, Emma Tye
2023	J	`jnl`	Embedding by Unembedding. Proc. ACM Program. Lang. Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
2023	—	`conf`	Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification. HEART Omar Tahir, Wayne Luk, Nicolas Wu
2023	J	`jnl`	Full Abstraction for Free. CoRR Marco Paviotti, Nicolas Wu
2023	J	`jnl`	Modular Models of Monoids with Operations. Proc. ACM Program. Lang. Zhixuan Yang, Nicolas Wu
2023	—	`conf`	Phases in Software Architecture. FUNARCH Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2023	C	`conf`	The Evolution of Effects (Keynote). Haskell Nicolas Wu
2022	B	`conf`	Breadth-First Traversal via Staging. MPC Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2022	—	`conf`	Design patterns for parser combinators in scala. SCALA@ECOOP Jamie Willis, Nicolas Wu
2022	B	`conf`	Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. MPC Zhixuan Yang, Nicolas Wu
2022	J	`jnl`	Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. CoRR Zhixuan Yang, Nicolas Wu
2022	J	`jnl`	Flexible presentations of graded monads. Proc. ACM Program. Lang. Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
2022	B	`conf`	Folding over Neural Networks. MPC Minh Nguyen, Nicolas Wu
2022	J	`jnl`	Folding over Neural Networks. CoRR Minh Nguyen, Nicolas Wu
2022	J	`jnl`	Fusing Industry and Academia at GitHub (Experience Report). CoRR Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
2022	J	`jnl`	Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers
2022	J	`jnl`	Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
2022	J	`jnl`	Modular Probabilistic Models via Algebraic Effects. CoRR Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022	J	`jnl`	Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022	C	`conf`	Oregano: staging regular expressions with Moore Cayley fusion. Haskell Jamie Willis, Nicolas Wu, Tom Schrijvers
2022	J	`jnl`	Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2022	A	`conf`	Structured Handling of Scoped Effects. ESOP Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022	J	`jnl`	Structured Handling of Scoped Effects: Extended Version. CoRR Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022	—	`ed.`	Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers TFP Wouter Swierstra, Nicolas Wu
2021	J	`jnl`	A Specification for Typed Template Haskell. CoRR Matthew Pickering, Andres Löh, Nicolas Wu
2021	J	`jnl`	Algebras for weighted search. Proc. ACM Program. Lang. Donnacha Oisín Kidney, Nicolas Wu
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years 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
2021	C	`conf`	Design patterns for parser combinators (functional pearl). Haskell Jamie Willis, Nicolas Wu
2021	B	`conf`	Latent Effects for Reusable Language Components. APLAS Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021	J	`jnl`	Latent Effects for Reusable Language Components: Extended Version. CoRR Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021	J	`jnl`	Linear Constraints. CoRR Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
2021	J	`jnl`	Reasoning about effect interaction by fusion. Proc. ACM Program. Lang. Zhixuan Yang, Nicolas Wu
2021	C	`conf`	Safe mutation with algebraic effects. Haskell Hashan Punchihewa, Nicolas Wu
2020	J	`jnl`	Staged selective parser combinators. Proc. ACM Program. Lang. Jamie Willis, Nicolas Wu, Matthew Pickering
2020	—	`conf`	Staged sums of products. Haskell@ICFP Matthew Pickering, Andres Löh, Nicolas Wu
2019	—	`conf`	Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
2019	—	`conf`	Multi-stage programs in context. Haskell@ICFP Matthew Pickering, Nicolas Wu, Csongor Kiss
2019	J	`jnl`	Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
2019	—	`conf`	Tic tac types: a gentle introduction to dependently typed programming (functional pearl). TyDe@ICFP Sean Innes, Nicolas Wu
2019	—	`conf`	Working with source plugins. Haskell@ICFP Matthew Pickering, Nicolas Wu, Boldizsár Németh
2018	—	`conf`	Garnishing parsec with parsley. SCALA@ICFP Jamie Willis, Nicolas Wu
2018	J	`jnl`	Generic Deriving of Generic Traversals. CoRR Csongor Kiss, Matthew Pickering, Nicolas Wu
2018	J	`jnl`	Generic deriving of generic traversals. Proc. ACM Program. Lang. Csongor Kiss, Matthew Pickering, Nicolas Wu
2018	—	`ed.`	Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018 Haskell@ICFP Nicolas Wu
2018	J	`jnl`	Relational algebra by way of adjunctions. Proc. ACM Program. Lang. Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
2018	A*	`conf`	Syntax and Semantics for Operations with Scopes. LICS Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
2017	—	`ed.`	Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017 IFL Nicolas Wu
2017	J	`jnl`	Profunctor Optics: Modular Data Accessors. CoRR Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2017	J	`jnl`	Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2017	J	`jnl`	Quantitative metrics for evaluating the phased roll-out of clinical information systems. Int. J. Medical Informatics David Wong, Nicolas Wu, Peter J. Watkinson
2016	A	`conf`	String diagrams for free monads (functional pearl). ICFP Maciej Piróg, Nicolas Wu
2016	J	`jnl`	Unifying structured recursion schemes - An Extended Study. J. Funct. Program. Ralf Hinze, Nicolas Wu
2015	A*	`conf`	Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2015	B	`conf`	Fusion for Free - Efficient Algebraic Effect Handlers. MPC Nicolas Wu, Tom Schrijvers
2015	B	`conf`	Modules Over Monads and Their Algebras. CALCO Maciej Piróg, Nicolas Wu, Jeremy Gibbons
2014	C	`conf`	Effect handlers in scope. Haskell Nicolas Wu, Tom Schrijvers, Ralf Hinze
2014	A	`conf`	Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP Jeremy Gibbons, Nicolas Wu
2014	J	`jnl`	Formal relational database design: an exercise in extending the formal template language. Formal Aspects Comput. Nicolas Wu, Andrew C. Simpson
2014	C	`conf`	Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
2013	—	`conf`	A Duality of Sorts. The Beauty of Functional Code Ralf Hinze, José Pedro Magalhães, Nicolas Wu
2013	—	`conf`	Histo- and dynamorphisms revisited. WGP@ICFP Ralf Hinze, Nicolas Wu
2013	A	`conf`	Unifying structured recursion schemes. ICFP Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2012	—	`conf`	Pure and Lazy Lambda Mining - An Experience Report. IFL Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
2012	—	`conf`	Sorting with bialgebras and distributive laws. WGP@ICFP Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
2011	A	`conf`	Incremental updates for efficient bidirectional transformations. ICFP Meng Wang, Jeremy Gibbons, Nicolas Wu
2011	—	`conf`	Towards a categorical foundation for generic programming. WGP@ICFP Ralf Hinze, Nicolas Wu
2010	—	`—`	Generative templates for formal metamodel design. Nicolas Wu
2010	—	`conf`	Towards Formally Templated Relational Database Representations in Z. ASM Nicolas Wu, Andrew Simpson