# Commonalities and differences between canonical structures and the implicit calculus

There is a paper on The Implicit Calculus as a generalization of type classes. Coq's canonical structures are also a generalization of type classes. The paper does not mention canonical structures however. The approaches seem quite similar. What are the commonalities and differences of these two approaches to generalize type classes?

-
I have informed the authors, who are not on cstheory. They will respond. – Vijay D Jan 9 '13 at 19:29
Thanks! That is great. – Jules Jan 11 '13 at 10:29