Syntax, Typechecking and Dynamic Semantics for Extended ML
Donald Sannella and Fabio da SilvaAbstract: This document defines the syntax, typechecking and dynamic semantics of the Extended ML specification/programming language. The reader is assumed to be familiar with the notation used in the formal definition of Standard ML.
Previous | Index | Next