© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The definition of Extended ML
Stefan Kahrs, Don Sannella, and Andrzej Tarlecki
LFCS Report ECS-LFCS-94-300, University of Edinburgh, January 1994.Abstract
This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published semantics of Standard~ML in an attempt to ensure compatibility between the two languages.
Download publication 277 kbytesBibtex Record
@techreport{562,
author = {Stefan Kahrs and Don Sannella and Andrzej Tarlecki},
title = {The definition of {E}xtended {ML}},
month = {January},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/562},
institution = {University of Edinburgh},
number = {ECS-LFCS-94-300},
type = {LFCS Report},
}