Typechecking and modules for multimethods (1995)

by C Chambers, G T Leaveris
Venue:ACM Tmnsactions on Progmmming Languages and Systems