Extended ML

Extended ML
All Links

Share this:

Details of Extended ML

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