A lambda calculus of objects and method specialization

John C. Mitchell, Furio Honsell, Kathleen Fisher

Browse the full LICS paper archive.