Linear-use CPS translations in the enriched effect calculus
- Rasmus Ejlers Møgelberg
- , Alex Simpson
- , Jeff Egger
- University of Edinburgh
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review