検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-10 / 10.
- 前
- 1
- 次
検索結果:
書誌情報 | ファイル |
---|---|
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 | |
Open-Endedness of Objects and Types in Martin-Lof's Type Theory Tsukada, Yasuyuki (1993-10) 数理解析研究所講究録, 851: 102-126 | |
Linear Types and Calculi with Explicit Sharing Minamide, Yasuhiko (1993-10) 数理解析研究所講究録, 851: 88-101 | |
Towards Imperative Type Systems Otake, Kazuo (1993-10) 数理解析研究所講究録, 851: 127-138 | |
Some Properties of Data Types with Inequations Kondoh, Hidetaka (1993-10) 数理解析研究所講究録, 851: 1-20 | |
A Predicative Polymorphic Type System for a Calculus of Objects Vasaco Thudichum, Vasconcelos (1993-10) 数理解析研究所講究録, 851: 78-87 | |
Dinaturality of Simple Subtyping Fujiwara, Yasushi (1993-10) 数理解析研究所講究録, 851: 139-152 | |
Types for Dyadic Interaction Honda, Kohei (1993-10) 数理解析研究所講究録, 851: 61-77 |