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 |
