G. Monteleone. Generalized Conjunctive Types. In Proc. 16th Annual ACM Symp. on Principles of Programming Languages, Pages 242-249, January 1989.
[ Parametricity ]
@InProceedings{mo89,
Author = {Monteleone, G.},
Title = {Generalized Conjunctive Types},
BookTitle = {Proc. 16th Annual ACM Symp. on Principles of Programming Languages},
Pages = {242--249},
Month = {January},
Year = {1989}
}
Get EndNote Reference (.ref)