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 An error occured whilst processing this directive