| 1995 | ||
|---|---|---|
| 1 | Roberto Bellucci, Martín Abadi, Pierre-Louis Curien: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA 1995: 32-46 | |
| 1 | Martín Abadi | [1] |
| 2 | Pierre-Louis Curien | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page