Nicolas Wu
Imperial College London
H-index: 13
Europe-United Kingdom
Top articles of Nicolas Wu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Algebraic Effects Meet Hoare Logic in Cubical Agda | Donnacha Oisín Kidney Zhixuan Yang Nicolas Wu | 2024 | |
Scoped effects as parameterized algebraic theories | arXiv preprint arXiv:2402.03103 | Sam Lindley Cristina Matache Sean Moss Sam Staton Nicolas Wu | 2024/2/5 |
Modular models of monoids with operations | Proceedings of the ACM on Programming Languages | Zhixuan Yang Nicolas Wu | 2023/8/30 |
Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification | Omar Tahir Wayne Luk Nicolas Wu | 2023/6/14 | |
A Calculus of Delayed Reductions | Steffen Van Bakel Nicolas Wu Emma Tye | 2023/10/22 | |
Full Abstraction for Free | arXiv preprint arXiv:2303.09358 | Marco Paviotti Nicolas Wu | 2023/3/16 |
Phases in Software Architecture | Jeremy Gibbons Donnacha Oisín Kidney Tom Schrijvers Nicolas Wu | 2023/8/30 | |
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers | Wouter Swierstra Nicolas Wu | 2023 | |
The Evolution of Effects (Keynote) | Nicolas Wu | 2023/8/30 | |
Embedding by Unembedding | Proceedings of the ACM on Programming Languages | Kazutaka Matsuda Samantha Frohlich Meng Wang Nicolas Wu | 2023/8/30 |
Structured Handling of Scoped Effects: Extended Version | arXiv preprint arXiv:2201.10287 | Zhixuan Yang Marco Paviotti Nicolas Wu Birthe van den Berg Tom Schrijvers | 2022/1/25 |
Folding over neural networks | Minh Nguyen Nicolas Wu | 2022/9/22 | |
Modular probabilistic models via algebraic effects | Proceedings of the ACM on Programming Languages | Minh Nguyen Roly Perera Meng Wang Nicolas Wu | 2022/3/9 |
Staging with class: a specification for typed Template Haskell | Proceedings of the ACM on Programming Languages | Ningning Xie Matthew Pickering Andres Löh Nicolas Wu Jeremy Yallop | 2022/1/11 |
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes | Zhixuan Yang Nicolas Wu | 2022/9/22 | |
Linearly qualified types: generic inference for capabilities and uniqueness | Proceedings of the ACM on Programming Languages | Arnaud Spiwack Csongor Kiss Jean-Philippe Bernardy Nicolas Wu Richard A Eisenberg | 2022/8/29 |
Linearly Qualified Types | CSONGOR KISS JEAN-PHILIPPE BERNARDY NICOLAS WU RICHARD A EISENBERG | 2022 | |
Oregano: staging regular expressions with Moore Cayley fusion | Jamie Willis Nicolas Wu Tom Schrijvers | 2022/9/6 | |
The Provability Semantics of Metaprogramming | Alyssa Renata Nicolas Wu Alastair Donaldson | 2022/6/27 | |
Design patterns for parser combinators in scala | Jamie Willis Nicolas Wu | 2022/6/6 |