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 JournalJournal articleResearchpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume8
Issue number4
ISSN1860-5974
Publication statusPublished - 2012

Cite this