The implicit calculus: a new foundation for generic programming (2012)

by B C d S Oliveira, T Schrijvers, W Choi, W Lee, K Yi
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation