Sciweavers

JOT
2010
111views more  JOT 2010»
13 years 3 months ago
Covariantly Adjusting Co-Types in Timor
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
James Leslie Keedy, Gisela Menger, Christian Heinl...
POPL
2006
ACM
14 years 5 months ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook