Collection home page

0851 Type Theory とそのコンピュータシステムへの応用   11
(http://hdl.handle.net/2433/81955)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (1993-10)
  数理解析研究所講究録, 851
file type icon
Some Properties of Data Types with Inequations
  Kondoh, Hidetaka (1993-10)
  数理解析研究所講究録, 851: 1-20
file type icon
A Complete Type Inference System for Subtyped Recursive Types
  Sekiguchi, Tatsurou, Yonezawa, Akinori (1993-10)
  数理解析研究所講究録, 851: 21-33
file type icon
The Transformation Calculus and its Typing
  Garrigue, Jacques (1993-10)
  数理解析研究所講究録, 851: 34-45
file type icon
A Typed Higher-Order Programming Language Based on the Pi-Calculus
  Pierce, Benjamin C., Remy, Didier, Turner, David N. (1993-10)
  数理解析研究所講究録, 851: 46-60
file type icon
Types for Dyadic Interaction
  Honda, Kohei (1993-10)
  数理解析研究所講究録, 851: 61-77
file type icon
A Predicative Polymorphic Type System for a Calculus of Objects
  Vasaco Thudichum, Vasconcelos (1993-10)
  数理解析研究所講究録, 851: 78-87
file type icon
Linear Types and Calculi with Explicit Sharing
  Minamide, Yasuhiko (1993-10)
  数理解析研究所講究録, 851: 88-101
file type icon
Open-Endedness of Objects and Types in Martin-Lof's Type Theory
  Tsukada, Yasuyuki (1993-10)
  数理解析研究所講究録, 851: 102-126
file type icon
Towards Imperative Type Systems
  Otake, Kazuo (1993-10)
  数理解析研究所講究録, 851: 127-138
file type icon
Dinaturality of Simple Subtyping
  Fujiwara, Yasushi (1993-10)
  数理解析研究所講究録, 851: 139-152
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11