Harper-Stone Semantics

From Successor ML

Jump to: navigation, search

An Interpretation of Standard ML in Type Theory is a technical report covering Harper-Stone Semantics in more detail.

Retrieved from "http://successor-ml.org/index.php?title=Harper-Stone_Semantics"
Personal tools