Hacker News Reader

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

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