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

Original language	English
Journal	Logical Methods in Computer Science
Volume	8
Issue number	4
ISSN	1860-5974
Publication status	Published - 2012

Cite this

@article{80608fb70d824e019f699926d3a48bbe,

title = "Linear-use CPS translations in the enriched effect calculus",

author = "M{\o}gelberg, {Rasmus Ejlers} and Alex Simpson and Jeff Egger",

year = "2012",

language = "English",

volume = "8",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "4",

}