xuwa88

J. Xu, D. Warren. A Type Inference System for Prolog. In Proc. Int'l Conf. on Logic Programming, Pages 604-619, Seattle, Washington, August 1988.

Keyword

[ Parametricity ]

Contact

J. Xu
D.S. Warren

BibTex Reference

@InProceedings{xuwa88,
   Author = {Xu, J. and Warren, D.},
   Title = {A Type Inference System for Prolog},
   BookTitle = {Proc. Int'l Conf. on Logic Programming},
   Pages = {604--619},
   Address = {Seattle, Washington},
   Month = {August},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)