ML Meta-Language

What is ML?

ML (standing for "Meta-Language") is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at Edinburgh University. ML is often referred to as an impure functional language, because it permits imperative programming, and therefore, side-effects, unlike other functional programming languages such as Haskell.

Features of ML include automatic memory management through garbage collection, a static type-safe, polymorphic type system, type inference, algebraic data types, pattern matching, and a sophisticated module system with functions on modules (functors).

 

Start Programming in ML

http://talkbinary.com/programming/start-programming-in-ml/

 

A Gentle Introduction to ML

http://www.dcs.napier.ac.uk/course-notes/sml/manual.html

 

Programming in Standard ML '97: An On-line Tutorial

http://www.dcs.ed.ac.uk/home/stg/NOTES/

 

Free Standard ML Compilers

http://www.thefreecountry.com/compilers/standard-ml-language.shtml

 

This book is an introduction to ML programming, specifically for the Objective Caml(OCaml) programming language from INRIA [5, 10]. OCaml is a dialect of the ML(Meta-Language) family of languages, which derive from the Classic ML language designed

by Robin Milner in 1975 for the LCF (Logic of Computable Functions) theorem prover.

http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf

 

The ML Programming Language

http://www.cs.unc.edu/~stotts/144/ML/

 

Information about Standard ML

http://www.cs.cmu.edu/~fox/foxnet/sml.html