No.851
Type Theory とそのコンピュータシステムへの応用
　
1993/07/21〜1993/07/23
萩野 達也
Tatsuya Hagino
　
目　次
　
1. Some Properties of Data Types with Inequations------------------------------------------------------------------------------------1
　　　　Advanced Research Laboratory, Hitachi, Ltd.　　　Kondoh, Hidetaka
　
2. A Complete Type Inference System for Subtyped Recursive Types--------------------------------------------------------------------21
　　　　Department of Information Science, Univeresity of Tokyo / Department of Information Science, Univeresity of Tokyo　　　Sekiguchi, Tatsurou / Yonezawa, Akinori
　
3. The Transformation Calculus and its Typing---------------------------------------------------------------------------------------34
　　　　The University of Tokyo, Faculty of Science, Dept. of Information Science, Yonezawa Lab.　　　Garrigue, Jacques
　
4. A Typed Higher-Order Programming Language Based on the Pi-Calculus---------------------------------------------------------------46
　　　　LFCS / INRIA-Roquencourt / LFCS　　　Pierce, Benjamin C. / Remy, Didier / Turner, David N.
　
5. Types for Dyadic Interaction-----------------------------------------------------------------------------------------------------61
　　　　Department of Computer Science, Keio University　　　Honda, Kohei
　
6. A Predicative Polymorphic Type System for a Calculus of Objects------------------------------------------------------------------78
　　　　Department of Computer Science, Keio Univeresity　　　Vasaco Thudichum, Vasconcelos
　
7. Linear Types and Calculi with Explicit Sharing-----------------------------------------------------------------------------------88
　　　　Research Institute for Mathematical Sciences, Kyoto University　　　Minamide, Yasuhiko
　
8. Open-Endedness of Objects and Types in Martin-Lof's Type Theory-----------------------------------------------------------------102
　　　　NTT Basic Research Laboratories　　　Tsukada, Yasuyuki
　
9. Towards Imperative Type Systems-------------------------------------------------------------------------------------------------127
　　　　C&C Research Laboratories, NEC corporation　　　Otake, Kazuo
　
10. Dinaturality of Simple Subtyping-----------------------------------------------------------------------------------------------139
　　　　Systems & Software Engineering Laboratory, Research and Development Center, Toshiba Corporation　　　Fujiwara, Yasushi