Type classes and overloading in higher-order logic (1997)

by Markus Wenzel
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’97, LNCS 1275