Intrinsically-typed definitional interpreters à la carte C van der Rest, CB Poulsen, A Rouvoet, E Visser, P Mosses Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1903-1932, 2022 | 10 | 2022 |
Hefty algebras: Modular elaboration of higher-order algebraic effects C Bach Poulsen, C Van Der Rest Proceedings of the ACM on Programming Languages 7 (POPL), 1801-1831, 2023 | 9 | 2023 |
Staged effects and handlers for modular languages with abstraction CB Poulsen, C van der Rest, T Schrijvers Workshop on Partial Evaluation and Program Manipulation (PEPM), 2021 | 5 | 2021 |
Towards a Language for Defining Reusable Programming Language Components: (Project Paper) C van der Rest, CB Poulsen International Symposium on Trends in Functional Programming, 18-38, 2022 | 3 | 2022 |
A completely unique account of enumeration C Van Der Rest, W Swierstra Proceedings of the ACM on Programming Languages 6 (ICFP), 411-437, 2022 | 2 | 2022 |
Generating Constrained Test Data using Datatype Generic Programming CR van der Rest | 1 | 2019 |
Types and Semantics for Extensible Data Types C van der Rest, CB Poulsen Asian Symposium on Programming Languages and Systems, 46-66, 2023 | | 2023 |
Types and Semantics for Extensible Data Types (Extended Version) C van der Rest, CB Poulsen arXiv preprint arXiv:2309.14985, 2023 | | 2023 |
Handling Higher-Order Effects C van der Rest, J Reinders, CB Poulsen arXiv preprint arXiv:2203.03288, 2022 | | 2022 |
Generic Enumerators C van der Rest, W Swierstra, M Chakravarty | | |