Extended ML is an actively used programming language created in 1985. Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Read more on Wikipedia...
- Extended ML ranks in the top 50% of languages
- the Extended ML wikipedia page
- Extended ML first appeared in 1985
- See also: standard-ml
- I have 23 facts about Extended ML. what would you like to know? email me and let me know how I can help.
Last updated December 4th, 2019