Linear-use CPS translations in the enriched effect calculus

Rasmus Ejlers Møgelberg
, Alex Simpson
, Jeff Egger

Programming Logic and Semantics

University of Edinburgh

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

1 resultater
- Relevans

Modeller og detaljerede kalkuler for eﬀekter i programmeringssprog
Møgelberg, R. E. (CoI)
01/10/2007 → 31/12/2010
Projekter: Projekt › Forskning