hayashi91

S. Hayashi. Singleton, Union and Intersection Types for Program Extraction. In Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan, T. Ito, A. Meyer (eds.), Lecture Notes in Computer Science, Vol. 526, Pages 701-730, September 1991.

Keyword

[ Typetheory ]

Contact

S. Hayashi

BibTex Reference

@InProceedings{hayashi91,
   Author = {Hayashi, S.},
   Title = {Singleton, Union and Intersection Types for Program Extraction},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {701--730},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)