MLton 20070826 ML
Home  Index  
ML stands for meta language. ML was originally designed in the 1970s as a programming language to assist theorem proving in the logic LCF. In the 1980s, ML split into two variants, Standard ML and OCaml, both of which are still used today.


Last edited on 2004-12-06 06:00:35 by StephenWeeks.