Extended ML (EML) is an extension of the Standard ML programming language designed to enhance its capabilities for specific applications, particularly in the context of theorem proving and formal verification. It incorporates features that facilitate more complex data manipulation and reasoning about programs. Extended ML adds to the original features of Standard ML by providing: 1. **Type Extensions**: It allows for more expressive type systems, supporting extensions necessary for representing mathematical concepts in a more straightforward way.
Articles by others on the same topic
There are currently no matching articles.