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

Cached

Download Links

by Donald Syme
Venue:In Sixth International Workshop on Higher Order Logic Theorem Proving and its Applications
Citations:19 - 0 self