seyo94

Tatsurou Sekiguchi, Akinori Yonezawa. A Complete Type Inference System for Subtyped Recursive Types. In Proc.\ Int'l Symp.\ Theoretical Aspects of Computer Science (TACS), Sendai, Japan, Masami Hagiya, John C. Mitchell (eds.), Lecture Notes in Computer Science, Volume 789, Pages 667-686, April 1994.

Keywords

[ Rectype ] [ Parametricity ]

Contact

Tatsurou Sekiguchi
Akinori Yonezawa

BibTex Reference

@InProceedings{seyo94,
   Author = {Sekiguchi, Tatsurou and Yonezawa, Akinori},
   Title = {A Complete Type Inference System for Subtyped Recursive Types},
   BookTitle = {Proc.\ Int'l Symp.\ Theoretical Aspects of Computer Science (TACS), Sendai, Japan},
   editor = {Hagiya, Masami and Mitchell, John C.},
   Volume = {789},
   Pages = {667--686},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)