az88

H. Azzoune. Type Inference in Prolog. In Proc. 9th Int'l Conf. on Automated Deduction, Lecture Notes in Computer Science 310, Pages 258-277, Argonne, Illinois, May 1988.

Keyword

[ Parametricity ]

Contact

H. Azzoune

BibTex Reference

@InProceedings{az88,
   Author = {Azzoune, H.},
   Title = {Type Inference in Prolog},
   BookTitle = {Proc. 9th Int'l Conf. on Automated Deduction},
   Pages = {258--277},
   Publisher = {Springer-Verlag},
   Address = {Argonne, Illinois},
   Month = {May},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)