Bradley Lushman

Direct and Expressive Type Inference for the Rank 2 Fragment of System F.
. University of Waterloo, Ontario, Canada, (2007)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/3267).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found