Bibliography

1

H. Abelson, G.J. Susman, and J. Susman.
Structure and Interpretation of Computer Programs.
MIT Press, Cambridge, 1985.

2

A. Church.
The Calculi of Lambda-conversion.
Annals of Mathematical Studies, vol. 6, Princeton University Press, Princeton (N.J.), 1951.

3

W. Clinger and J. Rees.
Revised report on the algorithmic language scheme.
Technical report, MIT Artificial Intelligence Laboratory, CSDTR 174, october 1990.

4

Guy Steele Jr.
Common Lisp: The Language, 2nd Edition.
Digital Press, 12 Crosby Drive, Bedford, ME 01730, USA, 1990.

5

Takuya Katayama.
Type inference and type checking for functional programming languages: A reduced computation approach.
In Lisp and Functional Programming, pages 263-272, 1984.

6

J.L. Krivine.
Lambda-Calcul, types et modèles.
Masson, 1990.

7

C. Queinnec.
Les langages LISP.
Inter Édition, 1994.

8

G.E. Revesz.
Lambda-Calculus, Combinators, and Functional Programming.
Cambridge University Press, 1988.

9

A. Tanenbaum.
Structured Computer Organization (Third Edition).
Prentice-Hall, Incorporated, 1990.

10

editor W. Clinger.
The revised revised report on scheme, or an uncommon lisp.
Technical report, MIT Artificial Intelligence Laboratory, June 1984.