Relational Parametricity for Computational Effects
- Rasmus Ejlers Møgelberg
- , Alex Simpson
- University of Edinburgh
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review