First-class type classes (2008)

by Matthieu Sozeau, Nicolas Oury
Venue:International Conference on Theorem Proving in Higher Order Logics (TPHOLs