Rasmus Ejlers Møgelberg
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
ICALP, 2006.
@inproceedings{ICALP-v2-2006-Mogelberg, author = "Rasmus Ejlers Møgelberg", booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/11787006_32", isbn = "3-540-35907-9", pages = "372--383", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism}", volume = 4052, year = 2006, }