Reasoning with the Formal Definition of Standard ML (1993)

by D Syme
Venue:in HOL. In Sixth International Workshop on Higher Order Logic Theorem Proving and its Applications