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

by Markus Wenzel
Venue:Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs’97