btco87

V. Breazu-Tannen, T. Coquand. Extensional Models for Polymorphism. In Proc. Int'l Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Lecture Notes in Computer Science 250, Pages 291-307, Pisa, Italy, March 1987.

Keyword

[ Parametricity ]

Contact

Val Breazu-Tannen
Thierry Coquand

BibTex Reference

@InProceedings{btco87,
   Author = {Breazu-Tannen, V. and Coquand, T.},
   Title = {Extensional Models for Polymorphism},
   BookTitle = {Proc. Int'l Joint Conf. on Theory and Practice of Software Development (TAPSOFT)},
   Pages = {291--307},
   Publisher = {Springer-Verlag},
   Address = {Pisa, Italy},
   Month = {March},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)