© 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}, }