Kahrs, S. ; D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997).

Languages mentioned

• EML {1985} ML Specification language