 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00618839, version 1 |
| Detailed view |  Export this paper |
 |
| ICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Tokyo : Japon (2011) |
|
|
|
|
| Set-theoretic foundation of parametric polymorphism and subtyping |
|
|
| Giuseppe Castagna 1Zhiwu Xu 1, 2 |
|
|
| (2011) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2: | State Key Laboratory in Computer Science (SKLCS) |
|
|
|
Institute of Software, Chinese Academy of Science |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
| hal-00618839, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00618839 | |
| oai:hal.archives-ouvertes.fr:hal-00618839 | |
| From: Giuseppe Castagna | |
| Submitted on: Saturday, 3 September 2011 14:52:29 | |
| Updated on: Saturday, 5 May 2012 13:17:10 | |
