Nicolas Wu
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Non-Terminating Game of Beggar-My-Neighbor American Mathematical Monthly | 2026-03-25 | Paper |
| Structured handling of scoped effects Programming Languages and Systems | 2023-08-03 | Paper |
| Fantastic morphisms and where to find them. A guide to recursion schemes Lecture Notes in Computer Science | 2023-06-30 | Paper |
| Breadth-first traversal via staging Lecture Notes in Computer Science | 2023-06-30 | Paper |
| Latent Effects for Reusable Language Components | 2023-03-29 | Paper |
| Syntax and semantics for operations with scopes Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Unifying structured recursion schemes. An extended study Journal of Functional Programming | 2017-10-23 | Paper |
| Modules over monads and their algebras | 2017-07-11 | Paper |
| String diagrams for free monads (functional pearl) Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Folding domain-specific languages: deep and shallow embeddings (functional pearl) Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Conjugate hylomorphisms -- or: the mother of all structured recursion schemes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Fusion for free. Efficient algebraic effect handlers Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Unifying structured recursion schemes Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Incremental updates for efficient bidirectional transformations Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| A duality of sorts Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Scoped Effects as Parameterized Algebraic Theories (available as arXiv preprint) | N/A | Paper |
| A Non-Terminating Game of Beggar-My-Neighbor (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Nicolas Wu
