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

by Peter Lee , Mark Leone , Spiro Michaylov , Frank Pfenning
Citations:2 - 0 self