1995
1994
1993
1989
1988
1987
- Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, ProceedingsGilles Kahn, editor, Volume 274 of Lecture Notes in Computer Science, Springer, 1987.
1986
1984
- Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, ProceedingsGilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Volume 173 of Lecture Notes in Computer Science, Springer, 1984.
1983
1980
1979
1977
1974
1971