|
СТ |
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R |
1995 |
Bellucci R., Abadi M., Curien P. -L. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
СТ |
Abstract Machines, Control, and Sequents |
2002 |
Curien P. -L. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
|
П |
Formal Parametric Polymorphism |
1993 |
Abadi M., Cardelli L., Curien P. -L. |
|
|
Digital |
|
30.10.1993 |
|
СТ |
Strong Normalization of Substitutions |
1992 |
Curien P. -L., Hardin T., Rois A. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
П |
Theory and Practice of Sequential Algorithms: The Kernel of the Applicative Language CDS |
1983 |
Berry G., Curien P. -L. |
|
|
INRIA |
|
26.04.2003 |
