P. Mishra. Towards a Theory of Types in Prolog. In Proc. 1984 IEEE Symp. on Logic Programming, 1984.
[ Parametricity ]
@InProceedings{mishra84,
Author = {Mishra, P.},
Title = {Towards a Theory of Types in Prolog},
BookTitle = {Proc. 1984 IEEE Symp. on Logic Programming},
Year = {1984}
}
Get EndNote Reference (.ref)