Theories of Parametric Polymorphism and Data Types

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
id ndltd-kyoto-u.ac.jp-oai-repository.kulib.kyoto-u.ac.jp-2433-180905
record_format oai_dc
spelling ndltd-kyoto-u.ac.jp-oai-repository.kulib.kyoto-u.ac.jp-2433-1809052017-10-07T03:52:32Z Theories of Parametric Polymorphism and Data Types パラメトリックな多相型とデータ型の理論 Takeuchi, Izumi 佐藤, 雅彦 松山, 隆司 岩間, 一雄 竹内, 泉 タケウチ, イズミ 007 Kyoto University (京都大学) 0048 新制・論文博士 博士(情報学) 乙第10433号 論情博第2号 新制||情||3(附属図書館) UT51-2000-F499 (主査)教授 佐藤 雅彦, 教授 松山 隆司, 教授 岩間 一雄 学位規則第4条第2項該当 2014-02-14T02:30:56Z 2014-02-14T02:30:56Z 2000-03-23 2000-03-23 DAM Thesis or Dissertation http://hdl.handle.net/2433/180905 000000352740 eng application/pdf 京都大学 (Kyoto University) 京都大学
collection NDLTD
language English
format Others
sources NDLTD
topic 007
spellingShingle 007
Takeuchi, Izumi
Theories of Parametric Polymorphism and Data Types
description Kyoto University (京都大学) === 0048 === 新制・論文博士 === 博士(情報学) === 乙第10433号 === 論情博第2号 === 新制||情||3(附属図書館) === UT51-2000-F499 === (主査)教授 佐藤 雅彦, 教授 松山 隆司, 教授 岩間 一雄 === 学位規則第4条第2項該当
author2 佐藤, 雅彦
author_facet 佐藤, 雅彦
Takeuchi, Izumi
author Takeuchi, Izumi
author_sort Takeuchi, Izumi
title Theories of Parametric Polymorphism and Data Types
title_short Theories of Parametric Polymorphism and Data Types
title_full Theories of Parametric Polymorphism and Data Types
title_fullStr Theories of Parametric Polymorphism and Data Types
title_full_unstemmed Theories of Parametric Polymorphism and Data Types
title_sort theories of parametric polymorphism and data types
publisher 京都大学 (Kyoto University)
publishDate 2014
url http://hdl.handle.net/2433/180905
work_keys_str_mv AT takeuchiizumi theoriesofparametricpolymorphismanddatatypes
AT takeuchiizumi parametorikkunaduōxiāngxíngtodētaxíngnolǐlùn
_version_ 1718550706512723968

Similar Items