Sciweavers

ACTA
2002
108views more  ACTA 2002»
13 years 11 months ago
Object type constructors
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
Dominic Duggan