Studying the ML Module System in HOL (1994)

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

Document Versions

Studying the ML Module System in HOL –Elsa Gunter, Savi Maharaj — 1994
Studying the ML Module System in HOL –Savi Maharaj, Elsa Gunter — 1994 — Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science
Studying the ML Module System in HOL –Elsa Gunter, Savi Maharaj — 1994 — Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science
Studying the ML Module System in HOL –Savi Maharaj, Elsa Gunter — 1994 — Higher Order Logic Theorem Proving and its Applications, volume 859 of Lecture Notes in Computer Science