D. Leivant. Finitely Stratified Polymorphism. In Proc. Logic in Computer Science, June 1989.
[ Parametricity ]
@InProceedings{lei89,
Author = {Leivant, D.},
Title = {Finitely Stratified Polymorphism},
BookTitle = {Proc. Logic in Computer Science},
Month = {June},
Year = {1989}
}
Get EndNote Reference (.ref)