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
329 Theorems for free! – Philip Wadler - 1989
441 The formulae-as-types notion of construction – W A Howard - 1980
285 Interpre'tation fonctionelle et e'limination des coupures duns l'arithme'tique d'ordre supe'rieure – J-Y Girard - 1972
364 Towards a theory of type structure – J C Reynolds - 1974
847 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
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
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
1309 Monads for functional programming – Philip Wadler - 1995
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
44 Logical relations and the typed lambda calculus – Richard Statman - 1985
31 hlitchell. The semantics of second-order lambda calculus – I B Bruce, A R hleyer, J C - 1988
35 Contracting proofs to programs – D Leivant - 1990
10 Automatic synthesis of typed-programs on term algebras – Corrado Bohm, Alessandro Berarducci - 1985