Subtyping and Inheritance for Inductive Types (1997)

by Erik Poll
Venue:In Informal proceedings of the 1994 TYPES Workshop