Kahrs. S. On the static analysis of Extended ML. Research note, Laboratory for Foundations of Computer Science, University of Edinburgh (1995).

Languages mentioned

• EML {1985} ML Specification language