[micro2588]

Hi Patrick, can you point to a paper / resource that describes this recent work?

[patricksli]

Sure. The paper is called "Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance" by Allen, Hilburn, et al.