First-Class Type Classes (2008)

by Matthieu Sozeau, Nicolas Oury
Venue:In César Muñoz Otmane Ait Mohamed and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics, 21th International Conference, volume 5170 of Lecture Notes in Computer Science