QingMing Ma, John C. Reynolds. Types, Abstraction, and Parametric Polymorphism, Part 2. In Proc. xxx, 0.
[ Parametricity ]
@InProceedings{mare91,
Author = {Ma, QingMing and Reynolds, John C.},
Title = {Types, Abstraction, and Parametric Polymorphism, Part 2},
BookTitle = {Proc. xxx},
Year = {0}
}
Get EndNote Reference (.ref)