Kahrs, S. ; D. Sannella and A. Tarlecki. The definition of Extended ML. Report ECS-LFCS-94-300, Laboratory for Foundations of Computer Science, University of Edinburgh (1994).

Languages mentioned

• EML {1985} ML Specification language