Linear-use CPS translations in the enriched effect calculus

Rasmus Ejlers Møgelberg, Alex Simpson, Jeff Egger

Programming Logic and Semantics

University of Edinburgh

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

1 results
- Relevance

Filter

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