## Reasoning with the Formal Definition of Standard ML in HOL (1993)

by
Donald Syme

Venue: | In Sixth International Workshop on Higher Order Logic Theorem Proving and its Applications |

Citations: | 19 - 0 self |