Originalsprog | Dansk |
---|---|
Tidsskrift | Electronical Notes in Theoretical Computer Science |
Vol/bind | 173 |
ISSN | 1571-0661 |
Status | Udgivet - 2007 |
Relational parametricity for control considered as a computational effect
Rasmus Ejlers Møgelberg, Alex Simpson
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review