Jump to : Keyword | Contact | BibTex reference | EndNote reference |

smith93

Geoffrey Smith. Polymorphic Type Inference with Overloading and 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 671-685, April 1993.

Keyword

[ Parametricity ]

Contact

Geoffrey Smith

BibTex Reference

@InProceedings{smith93,
   Author = {Smith, Geoffrey},
   Title = {Polymorphic Type Inference with Overloading and Subtyping},
   BookTitle = {Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France},
   editor = {Gaudel, M.-C. and Jouannaud, J.-P.},
   Volume = {668},
   Pages = {671--685},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)