Category:Standard ML

free wwe ringtones alltel ringtones verizon ringtones midi ringtones prozac online cheap lipitor sony ericsson ringtones free sony ringtones albuterol online cheap viagra carisoprodol online free sony ericsson ringtones propecia online nexium online cheap lorazepam cheap flexeril tracfone ringtones cheap clomid paxil online free motorola ringtones cheap zyban qwest ringtones nextel ringtones clonazepam online free music ringtones cheap tramadol cheap soma cyclobenzaprine online order tramadol ativan online buy adipex nexium online clonazepam online hgh online tenuate online zoloft free midi ringtones alprazolam online ambien online sony ericsson ringtones lisinopril online midi ringtones cheap carisoprodol nokia ringtones funny ringtones didrex online buy hgh didrex online free sony ringtones cheap ultram hgh online free ericsson ringtones fioricet online cialis flexeril online carisoprodol online real ringtones cheap hoodia ambien lipitor online online pharmacy free free ringtones zanaflex online cheap phentermine diethylpropion online buy soma free sprint ringtones diazepam online free sharp ringtones cheap hydrocodone adipex xanax online cheap clomid free tracfone ringtones free sharp ringtones lisinopril cheap wellbutrin free kyocera ringtones motorola ringtones phentermine online buy zoloft cheap carisoprodol alprazolam online cheap diethylpropion nokia ringtones albuterol online funny ringtones order valium buy tramadol fioricet cheap viagra samsung ringtones mtv ringtones cheap norco free music ringtones buy ativan tenuate online buy lipitor ericsson ringtones soma online cheap ambien cheap rivotril cialis buy tramadol free ericsson ringtones free mtv ringtones cheap propecia free jazz ringtones kyocera ringtones viagra online but norco alltel ringtones buy zanaflex free motorola ringtones viagra online cheap lortab free music ringtones mp3 ringtones buy albuterol clonazepam online cheap ambien cheap xenical real ringtones nexium online wellbutrin free sonyericsson ringtones cheap celexa cheap diazepam nextel ringtones cheap soma free mp3 ringtones online hoodia free nextel ringtones vicodin online sagem ringtones free punk ringtones propecia online free mono ringtones free polyphonic ringtones levitra online wwe ringtones lorazepam online samsung ringtones buy zanaflex norco nexium online ultram online hoodia online hgh online free cool ringtones free mono ringtones rivotril online buy meridia cialis online free jazz ringtones clomid ortho cheap ativan diazepam online cingular ringtones cheap valium hydrocodone online ativan free sagem ringtones alprazolam cheap rivotril free cingular ringtones cheap valium online tenuate cheap lorazepam free mtv ringtones free sonyericsson ringtones ultram online cheap zyban mp3 ringtones cheap sildenafil free alltel ringtones sagem ringtones zoloft online clonazepam cheap lortab free real ringtones cyclobenzaprine online prozac online cheap ultracet albuterol cheap vigrx ortho online ericsson ringtones but adipex free motorola ringtones free music ringtones verizon ringtones vigrx online free wwe ringtones cheap xenical cheap paxil cheap phentermine free free ringtones buy soma Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.

SML is a modern descendant of the ML programming language used in the LCF theorem-proving project. It is unique among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).

Implementations:

• Standard ML of New Jersey (wikipedia): a Princeton compiler and programming environment
• MLton (mlton.org): a whole program optimizing compiler
• Moscow ML (dina.kvl.dk): a derived codebase from Caml Light

Citations

• Wikipedia:Standard ML