Typechecking and Modules for Multi-Methods (1995)

by Craig Chambers , Gary T. Leavens
Venue:ACM Transactions on Programming Languages and Systems
Citations:105 - 22 self