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

Active Bibliography

67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
43 Inductively Defined Types in the Calculus of Constructions – Frank Pfenning, Christine Paulin-Mohring - 1989
2 LEAP: A Language with Eval And Polymorphism – Frank Pfenning, Peter Lee
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
19 Higher Order Logic – Daniel Leivant - 1994
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
Type-Reconstruction wit First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford
11 Type Reconstruction with First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford - 1989
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997