MetaLanguage

ML er et funksjonelt programmeringsspråk som ble utviklet av Robin Milner og andre tidlig på 1970-tallet ved University of Edinburgh. Syntaksen til språket var inspirert av ISWIM, og det har sine røtter i LISP. ML er en forkortelse for MetaLanguage: det ble utviklet for å bevise teoremer ved hjelp av LCF. Språket i LCF, pplambda, er en kombinasjon av førsteordens predikatkalkulus og polymorfisk lambdakalkyle og benytter ML som metaspråk.

Referanser

Eksterne lenker 
 Standard ML of New Jersey, another popular implementation
 F#, an ML implementation using the Microsoft .NET framework
 MLton, a whole-program optimizing Standard ML compiler
 CakeML, a read-eval-print loop version of ML with formally verified runtime and translation to assembler

Programmeringsspråk