Theories of Parametric Polymorphism and Data Types
Kyoto University (京都大学) === 0048 === 新制・論文博士 === 博士(情報学) === 乙第10433号 === 論情博第2号 === 新制||情||3(附属図書館) === UT51-2000-F499 === (主査)教授 佐藤 雅彦, 教授 松山 隆司, 教授 岩間 一雄 === 学位規則第4条第2項該当
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
京都大学 (Kyoto University)
2014
|
Subjects: | |
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 |