Linear-use CPS translations in the enriched effect calculus

Rasmus Ejlers Møgelberg, Alex Simpson, Jeff Egger

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

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	8
Udgave nummer	4
ISSN	1860-5974
Status	Udgivet - 2012

Citationsformater

@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",

}