Category:Standard ML: Difference between revisions

Official website
Execution method:	Compiled (machine code)
Garbage collected:	Yes
Parameter passing methods:	By value
Type strength:	Strong;
Type expression:	Implicit
Type checking:	Static
See Also:	Standard ML on the HOPL; ;

Content added Content deleted

Inline

Latest revision as of 03:39, 13 September 2011

This page uses content from Wikipedia. The original article was at Standard ML. The list of authors can be seen in the page history. As with Rosetta Code, the text of Wikipedia is available under the GNU FDL. (See links for details on variance)

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).

Subcategories

This category has the following 3 subcategories, out of 3 total.

@

Standard ML examples needing attention‎ (empty)
Standard ML Implementations‎ (4 P)
Standard ML User‎ (17 P)

Pages in category "Standard ML"

The following 200 pages are in this category, out of 301 total.

(previous page) (next page)

1

9

99 bottles of beer

B

C

D

E

F

G

H

I

J

K

Kosaraju

L

M

N

O

P

(previous page) (next page)

@@ Line 1: / Line 1: @@
+{{language
-[http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=101 free mp3 ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=95 kyocera ringtones] [http://wc1.worldcrossing.com/WebX/.1de60a21 buy paxil] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/musicringtones_8033.htm music ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3706 buy wellbutrin] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=65 buy zoloft] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/sonyericssonringtones_2032.htm sonyericsson ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=137 cheap valium] [http://wc1.worldcrossing.com/WebX/.1de609e3 clomid online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=804 cheap vigrx] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=803 cheap lortab] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30354 free alltel ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=120 midi ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=94 flexeril online] [http://library.cshl.edu/wp/vb/member.php?u=1382 free cingular ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3733 wwe ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3736 soma online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=766 carisoprodol online] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=161 cheap albuterol] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30312 ortho online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=101 buy meridia] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3716 buy diethylpropion] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=820 real ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=89 funny ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=86 fioricet online] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=56 buy ultracet] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=133 free tracfone ringtones] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/funnyringtones_5351.htm free funny ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=62 cheap clomid] [http://students.hsc.unt.edu/housing/item.cfm?type=2906 free samsung ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30296 clomid online] [http://wc1.worldcrossing.com/WebX/.1de60a17 lipitor online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=801 ortho online] [http://wc1.worldcrossing.com/WebX/.1de609ea free ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30315 lortab online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=22 cheap valium] [http://library.cshl.edu/wp/vb/member.php?u=1361 xenical online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=763 soma online] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3721 mp3 ringtones] [http://wc1.worldcrossing.com/WebX/.1de60a33 prozac online] [http://wc1.worldcrossing.com/WebX/.1de609dc albuterol online] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=189 cheap lipitor] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30350 sagem ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30277 cyclobenzaprine online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=117 propecia online] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=106 free samsung ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=66 but levitra] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3746 cheap ambien] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/alltelringtones_474.htm alltel ringtones] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/verizonringtones_8798.htm verizon ringtones] [http://library.cshl.edu/wp/vb/member.php?u=1381 polyphonic ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=56 cheap cialis] [http://students.hsc.unt.edu/housing/item.cfm?type=2924 ericsson ringtones] [http://wc1.worldcrossing.com/WebX/.1de609fb ortho online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=94 free wwe ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=171 cheap clomid] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/mpringtones_1668.htm free mp3 ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30316 order vigrx] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3744 clonazepam online] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=200 nexium online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=33 adipex online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=76 cialis] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=178 ericsson ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=86 free qwest ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=109 free verizon ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30295 sildenafil online] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/adipex_547.htm adipex online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=839 free kyocera ringtones] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/nexium_2418.htm buy nexium] [http://wc1.worldcrossing.com/WebX/.1de609f3 midi ringtones] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=827 cingular ringtones] [http://wc1.worldcrossing.com/WebX/.1de609f7 free nextel ringtones] [http://wc1.worldcrossing.com/WebX/.1de60a20 cheap nexium] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=195 free mono ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=77 free cingular ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=85 tenuate online] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3734 sony ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30265 ambien online] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=170 free cingular ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30332 free tracfone ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=53 xenical online] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3759 cheap flexeril] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=55 cheap zoloft] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=169 online cialis] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=78 buy hoodia] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=213 prozac online] [http://students.hsc.unt.edu/housing/item.cfm?type=2849 valium] [http://students.hsc.unt.edu/housing/item.cfm?type=2880 cheap albuterol] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3717 hgh online] [http://wc1.worldcrossing.com/WebX/.1de60a00 cheap rivotril] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=52 xanax online] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/cyclobenzaprine_72.htm cyclobenzaprine online] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=175 diazepam online] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=39 cialis online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=66 order flexeril] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30345 free sprint ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=96 cheap zyban] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=99 tracfone ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=32 cheap valium] [http://students.hsc.unt.edu/housing/item.cfm?type=2867 order hydrocodone] [http://students.hsc.unt.edu/housing/item.cfm?type=2872 online cyclobenzaprine] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=222 vigrx online] [http://students.hsc.unt.edu/housing/item.cfm?type=2875 propecia online] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30320 cheap rivotril] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30253 cheap norco] [http://library.cshl.edu/wp/vb/member.php?u=1369 free free ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3769 sony ericsson ringtones] [http://students.hsc.unt.edu/housing/item.cfm?type=2889 vigrx online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=74 mp3 ringtones] [http://students.hsc.unt.edu/housing/item.cfm?type=2925 free mtv ringtones] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=828 free sagem ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=72 tracfone ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=96 sony ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=188 cheap levitra] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=46 nexium] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=51 ambien] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=82 tracfone ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=40 cheap hydrocodone] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/ambien_7869.htm buy ambien] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3737 phentermine] [http://library.cshl.edu/wp/vb/member.php?u=1347 cialis] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=59 buy ortho] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=837 midi ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=46 cheap alprazolam] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=83 lipitor online] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=44 buy wellbutrin] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=60 pharmacy online online] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30339 samsung ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3771 free cool ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=83 funny ringtones] [http://wc1.worldcrossing.com/WebX/.1de609dd free alltel ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=26 buy fioricet] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=97 free nokia ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=205 paxil online] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=88 online lortab] [http://wc1.worldcrossing.com/WebX/.1de60a34 sony ericsson ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=211 polyphonic ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30308 lipitor online] [http://students.hsc.unt.edu/housing/item.cfm?type=2886 cheap ortho] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=80 free cool ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=77 cheap prozac] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30321 hgh online] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3741 viagra online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=94 jazz ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=126 cheap sildenafil] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30352 sony ericsson ringtones] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=809 hgh] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=112 free sagem ringtones] [http://wc1.worldcrossing.com/WebX/.1de60a12 free ericsson ringtones] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30250 cheap viagra] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=134 buy tramadol] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=15&tid=3742 adipex online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=826 polyphonic ringtones] [http://ae.siam.edu/forums/toast.asp?sub=show&action=posts&fid=2&tid=69 hgh online] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=35 xanax online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=139 viagra online] [http://students.hsc.unt.edu/housing/item.cfm?type=2895 hoodia online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=776 norco online] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/alprazolam_413.htm cheap alprazolam] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30248 cheap ativan] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=92 cheap hydrocodone] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=228 order ultram] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=767 online xanax] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=840 free sony ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=92 free verizon ringtones] [http://www.colorado.edu/studentgroups/backcountryclub/blahdocs/uploads/sonyericsson_2004.htm free sony ericsson ringtones] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=119 punk ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=214 cheap zanaflex] [http://library.cshl.edu/wp/vb/member.php?u=1379 free music ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=108 music ringtones] [http://wc1.worldcrossing.com/WebX/.1de60a09 cheap viagra] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=67 hydrocodone online] [http://wc1.worldcrossing.com/WebX/.1de60a30 cheap xenical] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=836 free sharp ringtones] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=76 hgh online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=115 phentermine online] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=84 celexa online] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=98 free ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=93 hgh online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=75 cheap celexa] [http://wc1.worldcrossing.com/WebX/.1de609f8 nokia ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=105 free motorola ringtones] [http://itcweb.ecsu.edu/portal/forums.asp?ForumId=13&TopicId=240 soma online] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=88 motorola ringtones] [http://www.ovu.edu/community/toast.asp?sub=show&action=posts&fid=5&tid=3692 tramadol online] [http://library.cshl.edu/wp/vb/member.php?u=1363 buy cyclobenzaprine] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=61 norco online] [http://www4.nau.edu/fera/index.asp?sub=show&action=posts&fid=4&tid=67 celexa online] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=81 cyclobenzaprine online] [http://library.cshl.edu/wp/vb/member.php?u=1345 cheap ultram] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=790 cheap propecia] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30309 cheap celexa] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=825 free verizon ringtones] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=70 xenical online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=783 ambien] [http://kc.vanderbilt.edu/forums/toast.asp?sub=show&action=posts&fid=5&tid=80 cheap albuterol] [http://www.e.kth.se/cgi-bin/esekt/discussion?command=read&discussionid=4&id=30243 cheap ultram] [http://www.ees.ufl.edu/alumni/forums.asp?ForumId=5&TopicId=136 ultram online] [http://www.aswsu-ddp.wsu.edu/toast/forums.asp?sub=show&action=posts&fid=3&tid=762 buy tramadol] [http://library.cshl.edu/wp/vb/member.php?u=1359 cheap ambien] [[Category:Solutions by Programming Language]]
+|exec=machine
-'''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.
+|strength=strong
+|checking=static
+|parampass=value
+|gc=yes
+|express=implicit
+|site=http://www.smlnj.org/
+}}{{language programming paradigm|functional}}
+{{Wikipedia}}
+'''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).
+SML is a modern descendant of the [[derived from::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:==
-* [http://en.wikipedia.org/wiki/SML/NJ Standard ML of New Jersey (wikipedia)]: a Princeton compiler and programming environment
-* [http://mlton.org/ MLton (mlton.org)]: a whole program optimizing compiler
-* [http://www.dina.kvl.dk/~sestoft/mosml.html Moscow ML (dina.kvl.dk)]: a derived codebase from [[Caml Light]]
-==Citations==
-* [http://en.wikipedia.org/wiki/Standard_ml Wikipedia:Standard ML]