Books for Functional Programming and Language
- Functional Programming
- 竹市正人, 「関数プログラミング」, bit, vol. 31, No. 3, 共立出版, 1999, ISSN0385-6984., pp. 7 - 10.
- 萩谷昌已, 『関数プログラミング』, 日本評論社, 1998., ISBN4-535-60817-2,
- 竹市正人, 『プログラミング言語』, 岩波講座ソフトウェア科学, 第4巻, 岩波書店, 1994, 1997., ISBN4-00-010344-X,
- R. Bird, P. Wadler, "Introduction to Functional Programming", Prentice Hall, 1988., 邦訳:
竹市正人 訳, 『関数プログラミング』, 近代科学社, 1991., ISBN4-7649-0181-1,
- Paul Hudak, "Conception, Evolution, and Application of Functional Programming Languages", Assosication for Computing Machinery, ACM Computing Surveys, vol.21, No.3, pp.359-411, 1989., 邦訳:
竹市正人 訳, 『関数プログラム言語の概念・発展・応用』, 共立出版, bit 別冊, コンピュータ・サイエンス, acm computing surveys '89, pp.37-87, 1991.,
- Functional Programming Language
- Gofer
- Concurrent Clean
- まだ、成書を持ってない
(;_;)
Concurrent Clean チームのボスが書いた
Plasmeijer, R. and van Eekelen, M., "Functional Programming and Parallel Graph Rewritting", Addison-Wesley, 1993, という本が出ていて,そこでは Concurrent Clean 0.8 が使われているそうな.
- Miranda
- Simon Thompson, "Miranda: The Craft of Functional Programming", Addison-Wesleys, 1995., ISBN0-201-42279-4,
- Haskell
- Fethi Rabhi, Guy Lapalme, "Algorithms: A Functional Programming Approach", Addison-Wesley, 1999., ISBN0-201-59604-0,
- Simon Thompson, "Haskell: The Craft of Functional Programming", second edition, Addison-Wesley, 1999., ISBN0-201-34275-8,
- Richard Bird, "Introduction to Functional Programming using Haskell", second edition, Prentice Hall, 1998., ISBN0-13-484346-0,
- ML
- L. C. Paulson, "ML for the Working Programmer", second edition, Cambridge University Press, 1996., ISBN0-521-56543-X,
- Jeffrey D. Ullman, "Elements of ML PROGRAMMING", Prentice Hall, 1994., 邦訳:
神林靖 訳, 『プログラミング言語 ML』, アスキー, 1996., ISBN4-7561-1641-8
- 大堀淳, 「ML - 多相型システムをもつ関数型言語」, 情報処理, vol. 35, No. 3., 情報処理学会, 1994., ISSN0447-8053,. pp. 215 - 226.
- Scheme
- Kent Dybvig, The Scheme Programming Language", Second Edition, Prentice Hall, 1996., 邦訳:
村上雅章 訳, 『プログラミング言語 SCHEME』, ピアソン・エデュケーション, 2000., ISBN4-89471-226-1
- Harold Abelson, Gerald Jay Sussman, Julie Sussman, Structure and Interpretation of Computer Programs", Second Edition, MIT Press, 1996., 邦訳:
和田英一 訳, 『計算機プログラムの構造と解釈』, ピアソン・エデュケーション, 2000., ISBN4-89471-163-X
- 犬飼大, 『入門 Scheme』, 秀和システム, 1999., ISBN4-87966-954-7
- 猪股俊光, 益崎真治, 『Scheme による記号処理入門』, 森北出版, 1994, 1997., ISBN4-627-83670-8
- 松田裕幸, 「SCHEME - 抽象化能力を持つ goto-less 手続き型言語 -」, 情報処理, vol. 35, No. 3., 情報処理学会, 1994., ISSN0447-8053,. pp. 227 - 234.
- 湯浅太一, 『Scheme 入門』, 岩波コンピュータサイエンス, 岩波書店, 1991, 1995., ISBN4-00-007701-5
- D. P. Friedman, M. Felleisen, "The Little LISPer" The MIT Press, 1987., 邦訳:
元吉文男, 横山晶一 訳, 『Scheme 手習い』 直感で学ぶ Lisp, マグロウヒル, 1990, 1994., ISBN4-89501-291-3
- H. Abelson, G. J. Sussman, J. Sussman, "Structure and Interpretation of Computer Programs", The MIT Press, 1985., 邦訳:
元吉文男 訳, 『プログラムの構造と実行』, 上下巻, マグロウヒル, 1989., ISBN4-89501-293-X, ISBN4-89501-294-8,
- around the world
- 佐原伸, 『デザインパターン オブジェクト指向分析/設計技法』, SRC, 1999, ISBN4-88373-119-7
- 大堀淳, 『プログラミング言語の基礎理論』, 情報数学講座, 第9巻, 共立出版, 1997., ISBN4-320-02659-4,
- 米澤明憲, 柴山悦哉, 『モデルと表現』, 岩波講座ソフトウェア科学, 第17巻, 岩波書店, 1992, 1995., ISBN4-00-010357-9,
- 木村泉, 米澤明憲, 『算法表現論』, 岩波講座情報科学, 第12巻, 岩波書店, 1982,
Created: Dec 10, 1999.