Overview

ML


Related Overviews

SML

 

'ML' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Computing

GO

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.