tiwa93

Jerzy Tiuryn, Mitchell Wand. Type Reconstruction with Recursive Types and Atomic Subtyping. In Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France, M.-C. Gaudel, J.-P. Jouannaud (eds.), Lecture Notes in Computer Science, Volume 668, Pages 686-701, April 1993.

Keyword

[ Parametricity ]

Contact

J. Tiuryn
M. Wand

BibTex Reference

@InProceedings{tiwa93,
   Author = {Tiuryn, Jerzy and Wand, Mitchell},
   Title = {Type Reconstruction with Recursive Types and Atomic Subtyping},
   BookTitle = {Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France},
   editor = {Gaudel, M.-C. and Jouannaud, J.-P.},
   Volume = {668},
   Pages = {686--701},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)