ITU

Linear-use CPS translations in the enriched effect calculus

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Standard

Linear-use CPS translations in the enriched effect calculus. / Møgelberg, Rasmus Ejlers; Simpson, Alex; Egger, Jeff.

In: Logical Methods in Computer Science, Vol. 8, No. 4, 2012.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

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

}

RIS

TY - JOUR

T1 - Linear-use CPS translations in the enriched effect calculus

AU - Møgelberg, Rasmus Ejlers

AU - Simpson, Alex

AU - Egger, Jeff

PY - 2012

Y1 - 2012

M3 - Journal article

VL - 8

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

ER -

ID: 32333725