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

Document Versions

Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus –Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning — 1989
Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus (Extended Abstract) –Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning — 1989