damm94

Flemming Damm. Subtyping with Union Types, Intersection Types and Recursive Types. In Proc. Theoretical Aspects of Computer Science (TACS), Sendai, Japan, Lecture Notes in Computer Science, Volume 789, Pages 687-706, April 1994.

Keyword

[ Rectype ]

Contact

F. Damm

BibTex Reference

@InProceedings{damm94,
   Author = {Damm, Flemming},
   Title = {Subtyping with Union Types, Intersection Types and Recursive Types},
   BookTitle = {Proc. Theoretical Aspects of Computer Science (TACS), Sendai, Japan},
   Volume = {789},
   Pages = {687--706},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)