Original language | Danish |
---|---|
Journal | Electronical Notes in Theoretical Computer Science |
Volume | 173 |
ISSN | 1571-0661 |
Publication status | Published - 2007 |
Relational parametricity for control considered as a computational effect
Rasmus Ejlers Møgelberg, Alex Simpson
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review