Associated types with class (2005)

by M Chakravarty, Gabriele Keller, Peyton Jones, S, S Marlow
Venue:Pages 1–13 of: Proceedings of POPL’05. ACM