Studying the ML Module System in HOL (1994)

by Elsa Gunter , Savi Maharaj
Citations:5 - 2 self