1.

図書
図書
1. Functional programming
Anthony J. Field, Peter G. Harrison
出版情報: Wokingham, England ; Tokyo : Addison-Wesley, 1988
シリーズ名: International computer science series
所蔵情報: loading…
2.

図書
図書
2. An introduction to functional programming through Lambda calculus
Greg Michaelson
出版情報: Berkshire, U.K. ; Reading, Mass : Addison-Wesley, c1989
シリーズ名: International computer science series
所蔵情報: loading…
3.

図書
図書
3. Research topics in functional programming
edited by David A. Turner
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1990
シリーズ名: The UT Year of Programming series
所蔵情報: loading…
4.

図書
図書
4. Logical foundations of functional programming
edited by Gérard Huet
出版情報: Reading, Mass. : Addison-Wesley, c1990
シリーズ名: The UT Year of Programming series
所蔵情報: loading…
5.

図書
図書
5. Functional programming : practice and theory
Bruce J. MacLennan
出版情報: Reading, Mass. : Addison-Wesley, c1990
所蔵情報: loading…
6.

図書
図書
6. Elements of functional programming
Chris Reade
出版情報: Wokingham, England ; Tokyo : Addison-Wesley, c1989
シリーズ名: International computer science series
所蔵情報: loading…
7.

図書
図書
7. Introduction to functional programming (: pbk)
Richard Bird, Philip Wadler
出版情報: New York ; Tokyo : Prentice Hall, 1988
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the 1994 ACM Conference on Lisp and Functional Programming : papers presented at the Conference, Orlando, Florida, June 27-29
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : ACM Press, c1994
シリーズ名: LISP pointers ; v. 7, n. 3
所蔵情報: loading…
9.

図書
図書
9. Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming (: Berlin ; : New York)
Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, (eds.)
出版情報: London ; New York : Springer-Verlag, 1991
シリーズ名: Workshops in computing
所蔵情報: loading…
10.

図書
図書
10. Semantics of type theory : correctness, completeness, and independence results (: Basel ; : Boston)
Thomas Streicher
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…