The implicit calculus: a new foundation for generic programming

Bruno C. D. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi. The implicit calculus: a new foundation for generic programming. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 35-44, ACM, 2012. [doi]

Authors

Bruno C. D. S. Oliveira

This author has not been identified. It may be one of the following persons: Look up 'Bruno C. D. S. Oliveira' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Wontae Choi

This author has not been identified. Look up 'Wontae Choi' in Google

Wonchan Lee

This author has not been identified. Look up 'Wonchan Lee' in Google

Kwangkeun Yi

This author has not been identified. Look up 'Kwangkeun Yi' in Google