Browsing Computer Science by Author "Lushman, Bradley"
Now showing items 1-1 of 1
-
Direct and Expressive Type Inference for the Rank 2 Fragment of System F
Lushman, Bradley (University of Waterloo, 2007-09-20)This thesis develops a semiunification-based type inference procedure for the rank 2 fragment of System F, with an emphasis on practical considerations for the adoption of such a procedure into existing programming ...