brlo88

K. Bruce, G. Longo. A Modest Model of Records, Inheritance and Bounded Quantification. Research Report CMU, No 0, April 1988.

Keyword

[ Parametricity ]

Contact

K. Bruce
G. Longo

BibTex Reference

@TechReport{brlo88,
   Author = {Bruce, K. and Longo, G.},
   Title = {A Modest Model of Records, Inheritance and Bounded Quantification},
   Number = {0},
   Institution = {CMU},
   Month = {April},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)