Paper

Static type checking of multi-methods

Abstract

No abstract available.

Related

Rakesh Agrawal, Ramakrishnan Srikant

IEEE Transactions on Knowledge and Data Engineering