A foundational theory of contexts in functional programming Language
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(情報学) === 甲第9218号 === 情博第46号 === 新制||情||11(附属図書館) === UT51-2001-R767 === 京都大学大学院情報学研究科知能情報学専攻 === (主査)教授 佐藤 雅彦, 教授 小林 茂夫, 教授 奥乃 博 === 学位規則第4条第1項該当...
Main Author: | Azza Abdel Rahman Taha Abdel Halim |
---|---|
Other Authors: | 佐藤, 雅彦 |
Format: | Others |
Language: | English |
Published: |
京都大学 (Kyoto University)
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/2433/150224 |
Similar Items
-
A design and theory of strongly typed object-oriented programming languages for extensible recursive classes
by: Saito, Chieri
Published: (2010) -
Studies on metaheuristics continuous global optimization problems
by: Abdel-Rahman Hedar A.Ahmed
Published: (2011) -
Supporting Multilingual and Intercultural Communication with Language Services - Activity Theory Approach
by: HAUTASAARI, ARI
Published: (2013) -
Static and dynamic properties of simple liquids and glasses : Molecular dynamics and density functional theory
by: Kim, Kang
Published: (2011) -
Composing and Organizing Language Services
by: BRAMANTORO, Arif
Published: (2011)