L. Cardelli, P. Wegner. On Understanding Types, Data Abstraction and Polymorphism. ACM Computing Surveys, 17(4):471-522, December 1985.
[ Parametricity ]
@article{cawe85,
Author = {Cardelli, L. and Wegner, P.},
Title = {On Understanding Types, Data Abstraction and Polymorphism},
Journal = {ACM Computing Surveys},
Volume = {17},
Number = {4},
Pages = {471--522},
Month = {December},
Year = {1985}
}
Get EndNote Reference (.ref)