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