longo93

Guiseppe Longo. Types as Parameters. 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 658-670, April 1993.

Keyword

[ Parametricity ]

Contact

G. Longo

BibTex Reference

@InProceedings{longo93,
   Author = {Longo, Guiseppe},
   Title = {Types as Parameters},
   BookTitle = {Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France},
   editor = {Gaudel, M.-C. and Jouannaud, J.-P.},
   Volume = {668},
   Pages = {658--670},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)