コレクションホームページ
0851 Type Theory とそのコンピュータシステムへの応用
11
0851 Type Theory とそのコンピュータシステムへの応用
11
(http://hdl.handle.net/2433/81955)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 11 / 11
書誌情報 | ファイル |
---|---|
表紙・目次 (1993-10) 数理解析研究所講究録, 851 | |
Some Properties of Data Types with Inequations Kondoh, Hidetaka (1993-10) 数理解析研究所講究録, 851: 1-20 | |
A Complete Type Inference System for Subtyped Recursive Types Sekiguchi, Tatsurou; Yonezawa, Akinori (1993-10) 数理解析研究所講究録, 851: 21-33 | |
The Transformation Calculus and its Typing Garrigue, Jacques (1993-10) 数理解析研究所講究録, 851: 34-45 | |
A Typed Higher-Order Programming Language Based on the Pi-Calculus Pierce, Benjamin C.; Remy, Didier; Turner, David N. (1993-10) 数理解析研究所講究録, 851: 46-60 | |
Types for Dyadic Interaction Honda, Kohei (1993-10) 数理解析研究所講究録, 851: 61-77 | |
A Predicative Polymorphic Type System for a Calculus of Objects Vasaco Thudichum, Vasconcelos (1993-10) 数理解析研究所講究録, 851: 78-87 | |
Linear Types and Calculi with Explicit Sharing Minamide, Yasuhiko (1993-10) 数理解析研究所講究録, 851: 88-101 | |
Open-Endedness of Objects and Types in Martin-Lof's Type Theory Tsukada, Yasuyuki (1993-10) 数理解析研究所講究録, 851: 102-126 | |
Towards Imperative Type Systems Otake, Kazuo (1993-10) 数理解析研究所講究録, 851: 127-138 | |
Dinaturality of Simple Subtyping Fujiwara, Yasushi (1993-10) 数理解析研究所講究録, 851: 139-152 |
文献一覧(目次の昇順ソート): 1 - 11 / 11