Inheritance and cofree constructions (1996)

by Bart Jacobs
Venue:European Conference on Object-Oriented Programming, volume 1098 of LNCS