pf88

F. Pfenning. Partial Polymorphic Type Inference and Higher-Order Unification. In Proc. 1988 ACM LISP and Functional Programming Conf, Pages 153-163, July 1988.

Keyword

[ Parametricity ]

Contact

F. Pfenning

BibTex Reference

@InProceedings{pf88,
   Author = {Pfenning, F.},
   Title = {Partial Polymorphic Type Inference and Higher-Order Unification},
   BookTitle = {Proc. 1988 ACM LISP and Functional Programming Conf},
   Pages = {153--163},
   Month = {July},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)