Subtyping and Inheritance for Inductive Types (1997)

by Erik Poll
Venue:In Proceedings of TYPES’97 Workshop on Subtyping, inheritance