Mechanizing the Metatheory of Standard ML (2006)

Cached

Download Links

by Daniel K. Lee , Karl Crary , Robert Harper
Citations:75 - 9 self

Document Versions

Mechanizing the Metatheory of Standard ML –Daniel K. Lee, Karl Crary, Robert Harper — 2006