Inheritance and cofree constructions (1996)

by Bart Jacobs
Venue:European Conference on Object-Oriented Programming