They published a paper on it last year, "Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance": http://www.mpi-sws.org/

They published a paper on it last year, "Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance": http://www.mpi-sws.org/~skilpat/papers/multipoly.pdf http://www.mpi-sws.org/~skilpat/papers/multipoly.pdf (LtU discussion: http://lambda-the-ultimate.org/node/4236 http://lambda-the-ultimate.org/node/4236)