Anyone who wants to try reading this should start with: The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997).

Languages mentioned

• EML {1985} ML Specification language