書誌情報	ファイル
表紙・目次    (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