Related Overviews



'ML' can also refer to...


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

A functional language developed at Edinburgh University in the late 1970s to support a formal proof system (Logic for Computable Functions), which was later developed into a general-purpose functional programming language. See also standard ML.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.