Nicolas Wu
From MaRDI portal
Person:2819696
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 |
|---|---|---|
| Structured handling of scoped effects Programming Languages and Systems | 2023-08-03 | Paper |
| Breadth-first traversal via staging Lecture Notes in Computer Science | 2023-06-30 | Paper |
| Fantastic morphisms and where to find them. A guide to recursion schemes 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
