1. Home
  2. Computer
  3. Programmin­g
  4. Extended ML

Computer · Programmin­g

Extended ML

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About Extended ML

Extended ML- EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

Tags

Scheme

Where it sits

Computer Programmin­g

More in Programmin­g

See all →