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

Documents Related by Co-Citation

184 On Understanding Types – L Cardelli, P Wegner - 1985
29 Programming in Higher-Order Typed Lambda-Calculi – Benjamin Pierce, Scott Dietzen, Spiro Michaylov, Maurice Nivat, James Thatcher, Mathematical Foundations Of - 1989
25 Outline of a Proof Theory of Parametricity – Harry G. Mairson - 1991
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
854 A formulation of the simple theory of types – Alonzo Church - 1940
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
10 Automatic synthesis of typed-programs on term algebras – Corrado Bohm, Alessandro Berarducci - 1985
7 Some semantic aspects of polymorphic lambda calculus – P J Freyd, S A - 1987
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
25 Typability and Type Checking in the Second-Order - Calculus Are Equivalent and Undecidable. submitted to APAP – Joe Wells - 1996
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
12 Efficient Optimization of Iterative Queries – Leonidas Fegaras - 1993
63 Logical and Computational Aspects of Programming with Sets/Bags/Lists – Val Breazu-tannen, Ramesh Subrahmanyam - 1991
66 Towards an Effective Calculus for Object Query Languages – Leonidas Fegaras, David Maier - 1995
12 Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) – Gerd G. Hillebrand, Paris C. Kanellakis - 1994
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993