ha87

P. Hancock. Polymorphic Type Checking. In The Implementation of Functional Programming Languages, S. Peyton-Jones (ed.), Chap. 8, Prentice-Hall, 1987.

Keyword

[ Parametricity ]

Contact

P. Hancock

BibTex Reference

@InCollection{ha87,
   Author = {Hancock, P.},
   Title = {Polymorphic Type Checking},
   BookTitle = {The Implementation of Functional Programming Languages},
   editor = {Peyton-Jones, S.},
   Chapter= {8},
   Publisher = {Prentice-Hall},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)