badc91

F. Barbanera, M. Dezani-Ciancaglini. Intersection and Union Types. 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 651-674, September 1991.

Keyword

[ Typetheory ]

Contact

F. Barbanera
Mariangiola Dezani-Ciancaglini

BibTex Reference

@InProceedings{badc91,
   Author = {Barbanera, F. and Dezani-Ciancaglini, M.},
   Title = {Intersection and Union Types},
   BookTitle = {Proc. Int'l Conf. on Theoretical Aspects of Computer Software (TACS), Sendai, Japan},
   editor = {Ito, T. and Meyer, A.},
   Pages = {651--674},
   Publisher = {Springer},
   Month = {September},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)