Studying the ML module system (1995)

by Elsa Gunter, Savi Maharaj
Venue:in HOL. The Computer Journal: Special Issue on Theorem Proving in Higher Order Logics