Syntax, Typechecking and Dynamic Semantics for Extended ML

Donald Sannella and Fabio da Silva

Abstract: 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