Studying the ML module system in HOL (1994)

by Savi Maharaj, Elsa Gunter
Venue:Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science