J. Zobel. Derivation of Polymorphic Types for PROLOG Programs. In Proc. 4th Int'l. Conf. on Logic Programming, Vol. 2, Pages 817-838, Melbourne, Australia, 1987.
[ Parametricity ]
@InProceedings{zobel87,
Author = {Zobel, J.},
Title = {Derivation of Polymorphic Types for PROLOG Programs},
BookTitle = {Proc. 4th Int'l. Conf. on Logic Programming, Vol. 2},
Pages = {817--838},
Address = {Melbourne, Australia},
Year = {1987}
}
Get EndNote Reference (.ref)