A Delegation-based Object Calculus with Subtying.

Kathleen Fisher, John C. Mitchell

Browse the full FCT paper archive.