le87

H. Lei\ss. On Type Inference for Object-Oriented Programming Languages. In Proc. 1st Workshop on Computer Science Logic, October 1987.

Keyword

[ Parametricity ]

Contact

Hans Lei\ss

BibTex Reference

@InProceedings{le87,
   Author = {Lei\ss, H.},
   Title = {On Type Inference for Object-Oriented Programming Languages},
   BookTitle = {Proc. 1st Workshop on Computer Science Logic},
   Publisher = {Springer-Verlag, Lecture Notes Computer Science, Vol 329},
   Month = {October},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)