Search:
Home  About  Submit Site    
  
 
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.
Also Available in These Languages
This directory is made available through a Creative Commons Attribution license from the DMOZ Organization.

© 2025 - Midnight Design Productions, LLC