benke93

Marcin Benke. Efficient type reconstruction in the presence of inheritance. In Proc. Mathematical Foundations of Computer Science (MFCS), A. M. Borzyszkowski, S. Sokolowski (eds.), Lecture Notes in Computer Science (LNCS), Vol. 711, Pages 272-280, 1993.

Keyword

[ Parametricity ]

Contact

Marcin Benke

BibTex Reference

@InProceedings{benke93,
   Author = {Benke, Marcin},
   Title = {Efficient type reconstruction in the presence of inheritance},
   BookTitle = {Proc. Mathematical Foundations of Computer Science (MFCS)},
   editor = {Borzyszkowski, A. M. and Sokolowski, S.},
   Pages = {272--280},
   Publisher = {Springer-Verlag},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)