Original language | English |
---|---|
Journal | Theoretical Computer Science |
Volume | 388 |
Issue number | 1-3 |
Pages (from-to) | 152-172 |
ISSN | 0304-3975 |
DOIs | |
Publication status | Published - 2010 |
Domain theoretic models of parametric polymorphism
Rasmus Ejlers Møgelberg, Lars Birkedal, Rasmus Lerchedal Petersen
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review