The Open Directory Project.

Directory of ML Resources

Home > Computers > Programming > Languages > ML

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.


Resources in This Category

Related Categories

Other Languages


Home > Computers > Programming > Languages > ML



Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us