hanus89

M. Hanus. Horn Clause Programs with Polymorphic Types: Semantics and Resolution. In Proc. Int'l J't Conf. on Theory and Practice of Software Development (Vol. 2), Lecture Notes in Computer Science, Vo.l. 352, Pages 225-240, Barcelona, Spain, March 1989.

Keyword

[ Parametricity ]

Contact

M. Hanus

BibTex Reference

@InProceedings{hanus89,
   Author = {Hanus, M.},
   Title = {Horn Clause Programs with Polymorphic Types: Semantics and Resolution},
   BookTitle = {Proc. Int'l J't Conf. on Theory and Practice of Software Development (Vol. 2)},
   Pages = {225--240},
   Publisher = {Springer-Verlag},
   Address = {Barcelona, Spain},
   Month = {March},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)