Type Checking and Modules for Multi-Methods (1994)

by C Chambers, G T Leavens
Venue:OOPSLA