Qualified types for MLF (2005)

by Daan Leijen, Andres Lh