Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus (1989)

by Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning