The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Browse the full PLDI paper archive.