|
28
|
Programming in Higher-Order Typed Lambda-Calculi
– Benjamin Pierce, Scott Dietzen, Spiro Michaylov, Maurice Nivat, James Thatcher, Mathematical Foundations Of
- 1989
|
|
325
|
Proofs and Types
– J-Y Girard, Y Lafont, P Taylor
- 1989
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
395
|
The formulae-as-types notion of construction
– W A Howard
- 1980
|
|
253
|
Interpretation fonctionelle et elimination des coupures de l’arithmetique d’ordre superieur. These d’Etat
– J Girard
- 1972
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
728
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
5
|
A guide to polymorphic types
– A Scedrov
- 1990
|
|
2
|
Logic and Structure
– D van Daalen
- 1979
|
|
1
|
eine bisher noch nict benute Erweiterung des finiten Standpunktes. Dialectica 12
– Uber
- 1958
|
|
44
|
Automatic synthesis of typed -programs on term algebras
– C Bohm, A Berarducci
- 1985
|
|
26
|
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
– Fritz Henglein, Harry G. Mairson
- 1991
|
|
31
|
Contracting proofs to programs
– D Leivant
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
40
|
Logical Relations and the Typed Lambda Calculus
– R Statman
- 1985
|
|
30
|
The semantics of second-order lambda calculus
– K B Bruce, A R Meyer, J C Mitchell
- 1990
|
|
10
|
Type Systems for Programming Languages, in: Handbook of Theoretical Comp
– J C Mitchell
- 1990
|
|
10
|
Automatic synthesis of typed-programs on term algebras
– Corrado Bohm, Alessandro Berarducci
- 1985
|
