An Introduction to Polymorphic Lambda Calculus (1994)

Cached

Download Links

by John C. Reynolds
Venue:Logical Foundations of Functional Programming
Citations:4 - 0 self

Documents Related by Co-Citation

29 Programming in Higher-Order Typed Lambda-Calculi – Benjamin Pierce, Scott Dietzen, Spiro Michaylov, Maurice Nivat, James Thatcher, Mathematical Foundations Of - 1989
352 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989
326 Theorems for free! – Philip Wadler - 1989
441 The formulae-as-types notion of construction – W A Howard - 1980
284 Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
361 Towards a theory of type structure, in – J C Reynolds - 1974
845 A Formulation of the Simple Theory of Types – A Church - 1940
2 Logic and Structure – D van Daalen - 1979
1 eine bisher noch nict benute Erweiterung des finiten Standpunktes. Dialectica 12 – Uber - 1958
30 The semantics of second-order lambda calculus – Kim B Bruce, Albert R Meyer, John C Mitchell - 1990
11 Type systems for programming languages, Handbook of theoretical computer science – J C Mitchell - 1990
6 A guide to polymorphic types – A Scedrov - 1990
44 Automatic synthesis of typed -programs on term algebras. TCS – Corrado Bohm, Alessandro Berarducci - 1985
34 Contracting proofs to programs – D Leivant - 1990
43 Logical relation and the typed lambda calculus – R Statman - 1985
1305 Monads for functional programming – Philip Wadler - 1995
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
10 Automatic synthesis of typed-programs on term algebras – Corrado Bohm, Alessandro Berarducci - 1985