bcgs91

V. Breazu-Tannen, T. Coquand, C. Gunter, A. Scedrov. Inheritance as Implicit Coercion. Information and Computation, Presented at LICS '89, 93(1):172-221, July 1991.

Keyword

[ Coinduction ]

Contact

Val Breazu-Tannen
Thierry Coquand
Carl A. Gunter
A. Scedrov

BibTex Reference

@article{bcgs91,
   Author = {Breazu-Tannen, V. and Coquand, T. and Gunter, C. and Scedrov, A.},
   Title = {Inheritance as Implicit Coercion},
   Journal = {Information and Computation},
   Volume = {93},
   Number = {1},
   Pages = {172--221},
   Month = {July},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)