Subtyping and Inheritance for Inductive Types (1997)

by Erik Poll
Venue:In Informal proceedings of the 1994 TYPES Workshop
Citations:5 - 2 self