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

zobel87

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.

Keyword

[ Parametricity ]

Contact

Justin Zobel

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)