btme87b

V. Breazu-Tannen, A. Meyer. Polymorphism is Conservative over Simple Types. In Proc. Symp. on Logic in Comp. Sci. '87, Pages 7-17, 1987.

Keyword

[ Parametricity ]

Contact

Val Breazu-Tannen
A. Meyer

BibTex Reference

@InProceedings{btme87b,
   Author = {Breazu-Tannen, V. and Meyer, A.},
   Title = {Polymorphism is Conservative over Simple Types},
   BookTitle = {Proc. Symp. on Logic in Comp. Sci. '87},
   Pages = {7--17},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)