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 tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftLogical Methods in Computer Science
Vol/bind8
Udgave nummer4
ISSN1860-5974
StatusUdgivet - 2012

Citationsformater