![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Nicolas Wu
Person information
- affiliation: Imperial College London, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Donnacha Oisín Kidney
, Zhixuan Yang
, Nicolas Wu
:
Algebraic Effects Meet Hoare Logic in Cubical Agda. Proc. ACM Program. Lang. 8(POPL): 1663-1695 (2024) - [c36]Sam Lindley
, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu
, Zhixuan Yang
:
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) 2024: 3-21 - [i13]Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang:
Scoped Effects as Parameterized Algebraic Theories. CoRR abs/2402.03103 (2024) - 2023
- [j16]Kazutaka Matsuda
, Samantha Frohlich
, Meng Wang
, Nicolas Wu
:
Embedding by Unembedding. Proc. ACM Program. Lang. 7(ICFP): 1-47 (2023) - [j15]Zhixuan Yang
, Nicolas Wu
:
Modular Models of Monoids with Operations. Proc. ACM Program. Lang. 7(ICFP): 566-603 (2023) - [c35]Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers
, Nicolas Wu
:
Phases in Software Architecture. FUNARCH 2023: 29-33 - [c34]Nicolas Wu
:
The Evolution of Effects (Keynote). Haskell 2023: 2 - [c33]Omar Tahir
, Wayne Luk
, Nicolas Wu
:
Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification. HEART 2023: 1-10 - [c32]Steffen van Bakel
, Nicolas Wu
, Emma Tye
:
A Calculus of Delayed Reductions. PPDP 2023: 1:1-1:13 - [i12]Marco Paviotti, Nicolas Wu:
Full Abstraction for Free. CoRR abs/2303.09358 (2023) - 2022
- [j14]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): 137-164 (2022) - [j13]Minh Nguyen
, Roly Perera
, Meng Wang
, Nicolas Wu
:
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6(ICFP): 381-410 (2022) - [j12]Patrick Thomson
, Rob Rix
, Nicolas Wu
, Tom Schrijvers
:
Fusing industry and academia at GitHub (experience report). Proc. ACM Program. Lang. 6(ICFP): 496-511 (2022) - [j11]Shin-ya Katsumata
, Dylan McDermott
, Tarmo Uustalu
, Nicolas Wu
:
Flexible presentations of graded monads. Proc. ACM Program. Lang. 6(ICFP): 902-930 (2022) - [j10]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): 1-30 (2022) - [c31]Zhixuan Yang
, Marco Paviotti
, Nicolas Wu
, Birthe van den Berg
, Tom Schrijvers
:
Structured Handling of Scoped Effects. ESOP 2022: 462-491 - [c30]Jamie Willis, Nicolas Wu, Tom Schrijvers
:
Oregano: staging regular expressions with Moore Cayley fusion. Haskell 2022: 66-80 - [c29]Jeremy Gibbons
, Donnacha Oisín Kidney
, Tom Schrijvers
, Nicolas Wu
:
Breadth-First Traversal via Staging. MPC 2022: 1-33 - [c28]Minh Nguyen
, Nicolas Wu
:
Folding over Neural Networks. MPC 2022: 129-150 - [c27]Zhixuan Yang
, Nicolas Wu
:
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. MPC 2022: 222-267 - [c26]Jamie Willis
, Nicolas Wu
:
Design patterns for parser combinators in scala. SCALA@ECOOP 2022: 9-21 - [e3]Wouter Swierstra
, Nicolas Wu
:
Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13401, Springer 2022, ISBN 978-3-031-21313-7 [contents] - [i11]Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers:
Structured Handling of Scoped Effects: Extended Version. CoRR abs/2201.10287 (2022) - [i10]Zhixuan Yang, Nicolas Wu:
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. CoRR abs/2202.13633 (2022) - [i9]Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu:
Modular Probabilistic Models via Algebraic Effects. CoRR abs/2203.04608 (2022) - [i8]Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers:
Fusing Industry and Academia at GitHub (Experience Report). CoRR abs/2206.09206 (2022) - [i7]Minh Nguyen, Nicolas Wu:
Folding over Neural Networks. CoRR abs/2207.01090 (2022) - 2021
- [j9]Donnacha Oisín Kidney
, Nicolas Wu
:
Algebras for weighted search. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j8]Zhixuan Yang
, Nicolas Wu
:
Reasoning about effect interaction by fusion. Proc. ACM Program. Lang. 5(ICFP): 1-29 (2021) - [c25]Birthe van den Berg
, Tom Schrijvers
, Casper Bach Poulsen
, Nicolas Wu
:
Latent Effects for Reusable Language Components. APLAS 2021: 182-201 - [c24]Jamie Willis
, Nicolas Wu
:
Design patterns for parser combinators (functional pearl). Haskell 2021: 71-84 - [c23]Hashan Punchihewa, Nicolas Wu
:
Safe mutation with algebraic effects. Haskell 2021: 122-135 - [p1]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
:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - [i6]Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu:
Linear Constraints. CoRR abs/2103.06127 (2021) - [i5]Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu:
Latent Effects for Reusable Language Components: Extended Version. CoRR abs/2108.11155 (2021) - [i4]Matthew Pickering, Andres Löh, Nicolas Wu:
A Specification for Typed Template Haskell. CoRR abs/2112.03653 (2021) - 2020
- [j7]Jamie Willis
, Nicolas Wu
, Matthew Pickering:
Staged selective parser combinators. Proc. ACM Program. Lang. 4(ICFP): 120:1-120:30 (2020) - [c22]Matthew Pickering, Andres Löh, Nicolas Wu
:
Staged sums of products. Haskell@ICFP 2020: 122-135
2010 – 2019
- 2019
- [c21]Matthew Pickering, Nicolas Wu
, Csongor Kiss:
Multi-stage programs in context. Haskell@ICFP 2019: 71-84 - [c20]Matthew Pickering, Nicolas Wu
, Boldizsár Németh:
Working with source plugins. Haskell@ICFP 2019: 85-97 - [c19]Tom Schrijvers
, Maciej Piróg
, Nicolas Wu
, Mauro Jaskelioff:
Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP 2019: 98-113 - [c18]Sean Innes, Nicolas Wu
:
Tic tac types: a gentle introduction to dependently typed programming (functional pearl). TyDe@ICFP 2019: 40-51 - [i3]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) - 2018
- [j6]Csongor Kiss, Matthew Pickering, Nicolas Wu
:
Generic deriving of generic traversals. Proc. ACM Program. Lang. 2(ICFP): 85:1-85:30 (2018) - [j5]Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
:
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2(ICFP): 86:1-86:28 (2018) - [c17]Maciej Piróg
, Tom Schrijvers
, Nicolas Wu
, Mauro Jaskelioff:
Syntax and Semantics for Operations with Scopes. LICS 2018: 809-818 - [c16]Jamie Willis
, Nicolas Wu
:
Garnishing parsec with parsley. SCALA@ICFP 2018: 24-34 - [e2]Nicolas Wu:
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. ACM 2018, ISBN 978-1-4503-5835-4 [contents] - [i2]Csongor Kiss, Matthew Pickering, Nicolas Wu:
Generic Deriving of Generic Traversals. CoRR abs/1805.06798 (2018) - 2017
- [j4]David Wong
, Nicolas Wu
, Peter J. Watkinson
:
Quantitative metrics for evaluating the phased roll-out of clinical information systems. Int. J. Medical Informatics 105: 130-135 (2017) - [j3]Matthew Pickering, Jeremy Gibbons, Nicolas Wu
:
Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. 1(2): 7 (2017) - [e1]Nicolas Wu:
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017. ACM 2017 [contents] - [i1]Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
Profunctor Optics: Modular Data Accessors. CoRR abs/1703.10857 (2017) - 2016
- [j2]Ralf Hinze, Nicolas Wu
:
Unifying structured recursion schemes - An Extended Study. J. Funct. Program. 26: e1 (2016) - [c15]Maciej Piróg
, Nicolas Wu
:
String diagrams for free monads (functional pearl). ICFP 2016: 490-501 - 2015
- [c14]Maciej Piróg
, Nicolas Wu
, Jeremy Gibbons:
Modules Over Monads and Their Algebras. CALCO 2015: 290-303 - [c13]Nicolas Wu
, Tom Schrijvers
:
Fusion for Free - Efficient Algebraic Effect Handlers. MPC 2015: 302-322 - [c12]Ralf Hinze, Nicolas Wu
, Jeremy Gibbons:
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL 2015: 527-538 - 2014
- [j1]Nicolas Wu
, Andrew C. Simpson
:
Formal relational database design: an exercise in extending the formal template language. Formal Aspects Comput. 26(6): 1231-1269 (2014) - [c11]Nicolas Wu
, Tom Schrijvers
, Ralf Hinze:
Effect handlers in scope. Haskell 2014: 1-12 - [c10]Jeremy Gibbons, Nicolas Wu
:
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP 2014: 339-347 - [c9]Tom Schrijvers
, Nicolas Wu
, Benoit Desouter, Bart Demoen:
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP 2014: 259-270 - 2013
- [c8]Ralf Hinze, José Pedro Magalhães, Nicolas Wu
:
A Duality of Sorts. The Beauty of Functional Code 2013: 151-167 - [c7]Ralf Hinze, Nicolas Wu
:
Histo- and dynamorphisms revisited. WGP@ICFP 2013: 1-12 - [c6]Ralf Hinze, Nicolas Wu
, Jeremy Gibbons:
Unifying structured recursion schemes. ICFP 2013: 209-220 - 2012
- [c5]Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu
, José Pedro Magalhães:
Sorting with bialgebras and distributive laws. WGP@ICFP 2012: 69-80 - [c4]Nicolas Wu
, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra:
Pure and Lazy Lambda Mining - An Experience Report. IFL 2012: 207-223 - 2011
- [c3]Ralf Hinze, Nicolas Wu
:
Towards a categorical foundation for generic programming. WGP@ICFP 2011: 47-58 - [c2]Meng Wang
, Jeremy Gibbons
, Nicolas Wu
:
Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403 - 2010
- [b1]Nicolas Wu:
Generative templates for formal metamodel design. University of Oxford, UK, 2010 - [c1]Nicolas Wu
, Andrew Simpson
:
Towards Formally Templated Relational Database Representations in Z. ASM 2010: 363-376
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint