DMCA

Typechecking and Modules for Multi-Methods (1995)

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