First-class type classes (2008)

by Matthieu Sozeau, Nicolas Oury
Venue:of Lecture Notes in Computer Science