Studying the ML module system in HOL (1994)

by Savi Maharaj, Elsa L Gunter
Venue:In Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications