smith91

Geoffrey Seward Smith. Polymorphic Type Inference for Languages with Overloading and Subtyping. PhD Thesis Cornell University, August 1991.

Keyword

[ Parametricity ]

Contact

Geoffrey Smith

BibTex Reference

@PhdThesis{smith91,
   Author = {Smith, Geoffrey Seward},
   Title = {Polymorphic Type Inference for Languages with Overloading and Subtyping},
   School = {Cornell University},
   Month = {August},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)