Publikationer pr. år
Publikationer pr. år
Projektdetaljer
| Status | Afsluttet |
|---|---|
| Effektiv start/slut dato | 01/10/2007 → 31/12/2010 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- University of Edinburgh
Emneord
- programming languages
- computational effects
- linear logic
- call by push value
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
-
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, I: Journal of Logic and Computation. 24, 3, s. 615-654Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, I: Logical Methods in Computer Science. 8, 4Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, I: Annual Symposium on Logic in Computer Science. s. 55-64Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review