Theoretical Comput. Sci., 70:35--64. Berlucci, R., Abadi, M., and Curien, P.-L. (1995). A model for formal parametric polymorphism: A PER interpretation for System R. In Typed Lambda Calculi and Applications - TLCA '95, LNCS, pages 32--46. Springer-Verlag.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
When Parametricity implies Naturality (Notes) - Reddy (Correct)
No context found.
Theoretical Comput. Sci., 70:35--64. Berlucci, R., Abadi, M., and Curien, P.-L. (1995). A model for formal parametric polymorphism: A PER interpretation for System R. In Typed Lambda Calculi and Applications - TLCA '95, LNCS, pages 32--46. Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC