3 0 0 0 OA パラメトリック・ポリモルフィズム
- 著者
- 長谷川 立
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.20, no.2, pp.175-194, 2003-03-25 (Released:2010-01-11)
言及状況
外部データベース (DOI)
はてなブックマーク (1 users, 1 posts)
[パラメトリシティ][線形論理][不動点コンビネータ][System F]
Twitter (2 users, 2 posts, 0 favorites)
ここにも少し書かれている
https://t.co/gH5BDymVgX