Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Original language | English |
---|---|
Book series | Lecture Notes in Computer Science |
Volume | 4052 |
ISSN | 0302-9743 |
DOIs | |
Publication status | Published - 2006 |
Event | 33rd International Colloquium, ICALP 2006: 33rd International Colloquium on - Venice, Italy Duration: 9 Jul 2006 → 16 Jul 2006 Conference number: 33rd http://icalp06.dsi.unive.it/ |
Conference
Conference | 33rd International Colloquium, ICALP 2006 |
---|---|
Number | 33rd |
Country | Italy |
City | Venice |
Period | 09/07/2006 → 16/07/2006 |
Internet address |
ID: 31647198