ML is an abbreviation for Meta Language. It was created by R. Milner and a team, in 1973. It is a strict higher-order functional language, with a formal semantics. It is garbage collected, and the first language to include polymorphic typing that is statically checked. ML is one of the direct inspirations informing Alan Kay and the design of Smalltalk.
More information
More information
Subcategories 6
Related categories 6
Sites 7
FAQs about ML.
ML users club at University of Edinburgh: meeting times, mail list, publications, links.
In ML, SML.
Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
An on-line tutorial by Stephen Gilmore.
Standard ML package giving a portable, typed, abstract interface to the user interface description and command language Tcl/Tk. Allows making graphical user interfaces in structured and reusable ways, supported by SML's powerful module system.
A quick comparison of program fragments in the two ML dialects.
A quick comparison of program fragments in the two ML dialects.
An on-line tutorial by Stephen Gilmore.
FAQs about ML.
In ML, SML.
Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
ML users club at University of Edinburgh: meeting times, mail list, publications, links.
Standard ML package giving a portable, typed, abstract interface to the user interface description and command language Tcl/Tk. Allows making graphical user interfaces in structured and reusable ways, supported by SML's powerful module system.
Other languages 1
Last update:
December 11, 2022 at 6:25:10 UTC
Check out
Society: People: Expatriates
- Recently edited by shedragon
- Recently edited by shedragon