Linearly-used Continuations in the Enriched Effect Calculus

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6014
Sider (fra-til)18-32
ISSN0302-9743
DOI
StatusUdgivet - 20 mar. 2010
BegivenhedFoundations of Software Science and Computation Structures (FoSSaCS) -
Varighed: 2 jul. 2010 → …

Konference

KonferenceFoundations of Software Science and Computation Structures (FoSSaCS)
Periode02/07/2010 → …

Citationsformater