Associated Types with Class (2005)

by Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow
Venue:In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages