Inheritance and cofree constructions (1996)

by B Jacobs
Venue:Proceedings ECOOP '96, LNCS 1098