Associated types with class.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow

Browse the full POPL paper archive.