C.R. van der Rest - Research output - TU Delft Research Portal

3 Article

3 results

2023
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
Bach Poulsen, C. & Van Der Rest, C., 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 1801-1831 31 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
6 Citations (Scopus)

77 Downloads (Pure)
2022
A completely unique account of enumeration
Van Der Rest, C. & Swierstra, W., 2022, In: Proceedings of the ACM on Programming Languages. 6, ICFP, 27 p., 105.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
2 Citations (Scopus)

80 Downloads (Pure)
Intrinsically-typed definitional interpreters à la carte
van der Rest, C. R., Poulsen, C. B., Rouvoet, A. J., Visser, E. & Mosses, P. D., 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, p. 1903–1932 192.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
4 Citations (Scopus)

56 Downloads (Pure)