Back to the 2007 catalog

PhD · 2007

Bradley Lushman

Direct and Expressive Type Inference for the Rank 2 Fragment of System F

Year

2007

Academic unit

Computer Science

Surname

Lushman

Supervisor

Gordon V. Cormack