Theories of Parametric Polymorphism and Data Types

Kyoto University (京都大学) === 0048 === 新制・論文博士 === 博士(情報学) === 乙第10433号 === 論情博第2号 === 新制||情||3(附属図書館) === UT51-2000-F499 === (主査)教授 佐藤 雅彦, 教授 松山 隆司, 教授 岩間 一雄 === 学位規則第4条第2項該当

Bibliographic Details
Main Author: Takeuchi, Izumi
Other Authors: 佐藤, 雅彦
Format: Others
Language:English
Published: 京都大学 (Kyoto University) 2014
Subjects:
007
Online Access:http://hdl.handle.net/2433/180905