smith94

Geoffrey S. Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197-226, 1994.

Keyword

[ Parametricity ]

Contact

Geoffrey Smith

BibTex Reference

@article{smith94,
   Author = {Smith, Geoffrey S.},
   Title = {Principal type schemes for functional programs with overloading and subtyping},
   Journal = {Science of Computer Programming},
   Volume = {23},
   Pages = {197--226},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)