Linear-use CPS translations in the Enriched Effect Calculus

The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect calculus as a target language for continuation-passing-style (CPS) translations in which the typing of the translations e...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Logical Methods in Computer Science e.V. 2012-10-01
Edice:	Logical Methods in Computer Science
Témata:	computer science - logic in computer science d.3.1 f.3.3 f.4.1
On-line přístup:	https://lmcs.episciences.org/923/pdf
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!