Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance