Sciweavers

101
Voted
OOPSLA
1994
Springer
15 years 11 months ago
Typechecking and Modules for Multi-Methods
Craig Chambers, Gary T. Leavens