A lambda calculus of objects and method specialization

John C. Mitchell Furio Honsell Kathleen Fisher

Published in: LICS (1993)

Keyphrases

similarity measure
database systems
software engineering
software development
distance function
object model