オオホリ, アツシ
大堀, 淳(1957-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 京都大学数理解析研究所 SRC:型理論に基づくプログラミング言語設計理論の研究 / 大堀淳研究代表([大堀淳], 1996.3) EDSRC:Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings / Xavier Leroy, Atsushi Ohori (eds.)(Springer, c1998) 「アルゴリズムとプログラミング言語 / 大堀淳, ジャック・ガリグ, 西村進著」(岩波書店, 1999.5)の奥付より生年の追加 |
Dates of Birth and Death | 1957 |
から見よ参照 | Ohori, Atsushi |
コード類 | 典拠ID=AU20012017 NCID=DA1033424X |
1 | プログラミング言語Standard ML入門 / 大堀淳著 東京 : 共立出版 , 2001.9 |
2 | アルゴリズムとプログラミング言語 / 大堀淳, ジャック・ガリグ, 西村進著 東京 : 岩波書店 , 1999.5 |
3 | プログラミング言語の基礎理論 / 大堀淳著 東京 : 共立出版 , 1997.2 |