Static Type Checking of Multi-Methods.

Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay

Browse the full OOPSLA paper archive.