8 0 0 0 OA 型理論III
- 著者
- 龍田 真
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.8, no.3, pp.210-216, 1991-05-15
言及状況
はてなブックマーク (3 users, 3 posts)
[paper][type]
[type][logic][programming][lambda][functional]
[type_theory]
Twitter (5 users, 6 posts, 7 favorites)
@its_out_of_tune あと「型理論」シリーズ
http://t.co/DMUya0cJY1
http://t.co/a6pJ3TFiMY
http://t.co/fptcjalwaH
http://t.co/ndmFmPcGFs
@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O
@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6