著者典拠情報

著者標目形：
大堀, 淳(1957-)||オオホリ, アツシ
属性：
Personal
日付：
1957
から見よ参照形：
Ohori, Atsushi
注記：
京都大学数理解析研究所
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)の奥付より生年の追加
著者典拠ID：
DA1033424X


1.

図書
図書
1. プログラミング言語Standard ML入門
大堀淳著
出版情報: 東京 : 共立出版, 2001.9
所蔵情報: 研究室
2.

図書
図書
2. プログラミング言語の基礎理論
大堀淳著
出版情報: 東京 : 共立出版, 1997.2
シリーズ名: 情報数学講座 ; 9
所蔵情報: 図書館, 研究室