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