11 0 0 0 OA 型理論IV
- 著者
- 龍田 真
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.8, no.4, pp.360-372, 1991-07-15
- 被引用文献数
- 2
言及状況
はてなブックマーク (3 users, 3 posts)
[paper][type]
[functional][programming][type]
[type_theory]
Twitter (8 users, 9 posts, 9 favorites)
@koropicot そもそもその *→A は全称型なんだろうかというのもちょっと思った。例えば http://t.co/znT6cxk7rS の型理論シリーズとか
@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