D. Leivant. Structural semantics for polymorphic data types. In Proc. 1983 POPL, 1983.
[ Parametricity ]
@InProceedings{leivant83b,
Author = {Leivant, D.},
Title = {Structural semantics for polymorphic data types},
BookTitle = {Proc. 1983 POPL},
Year = {1983}
}
Get EndNote Reference (.ref)