Original language | English |
---|---|
Journal | Logical Methods in Computer Science |
Volume | 8 |
Issue number | 4 |
ISSN | 1860-5974 |
Publication status | Published - 2012 |
Linear-use CPS translations in the enriched effect calculus
Rasmus Ejlers Møgelberg, Alex Simpson, Jeff Egger
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review