Jump to : Keyword | Contact | BibTex reference | EndNote reference |

mishra84

P. Mishra. Towards a Theory of Types in Prolog. In Proc. 1984 IEEE Symp. on Logic Programming, 1984.

Keyword

[ Parametricity ]

Contact

Priti Mishra

BibTex Reference

@InProceedings{mishra84,
   Author = {Mishra, P.},
   Title = {Towards a Theory of Types in Prolog},
   BookTitle = {Proc. 1984 IEEE Symp. on Logic Programming},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)