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

by M Wenzel
Venue:Theorem Proving in Higher Order Logics (TPHOLs ’97), volume 1275 of Lecture Notes in Computer Science