Category:Standard ML: Difference between revisions

[http://keniff.freehostia.com/description/winrar/ winrar] [http://anadelarien.h18.ru/small/roberto-cavalli/ roberto cavalli profumo uomo] [http://aria-ness.somee.com/styles/www-albatour/ www albatour] [http://kalahiet.freehostia.com/view/beds-are.htm beds are burning] [http://double-name.freehostia.com/directory/il-chiromante.htm il chiromante] [http://katpink.h18.ru/topic/zeda.htm zeda] [http://zeoboltus.h18.ru/new/euro-/ euro 2004 volley] [http://volleyvixen8.h18.ru/styles/il-ragno.htm il ragno nero] [http://bkcc91.h18.ru/library/time-mp/ time mp3] [http://lycoris.freehostia.com/mf.htm mf 29] [http://topk.h18.ru/resources/tettone-in.htm tettone in calore] [http://lulong.freehostia.com/content/elcaribecdn-com.htm elcaribecdn com] [http://aria-ness.somee.com/styles/cesare/ cesare] [http://katpink.h18.ru/topic/dire-straits.htm dire straits on the night] [http://anncetera.somee.com/articles/el-dia/ el dia de mi suerte] [http://abehusky.somee.com/www-nikko/ www nikko group com] [http://newyorksking.h18.ru/view/papuasia/ papuasia] [http://anadelarien.h18.ru/small/doncaster/ doncaster] [http://liotto.at.tut.by/articles/yaris-prezzo.htm yaris prezzo] [http://idenshi-yagami.freehostia.com/text/ministero-pubblica/ ministero pubblica istruzione] [http://bleedingcherub.freehostia.com/resources/camera-somma.htm camera somma lombardo] [http://liotto.at.tut.by/articles/nokia.htm nokia6170] [http://mindchaos.freehostia.com/topic/someday-bloody/ someday bloody someday] [http://idenshi-yagami.freehostia.com/text/vendita-vhs/ vendita vhs hard anni 70] [http://lycoris.freehostia.com/diosas-desnudas.htm diosas desnudas] [http://mindchaos.freehostia.com/topic/la-grande/ la grande s parata] [http://pri3rac.somee.com/content/lastanza/ lastanza] [http://shveller-007.freehostia.com/lib/lg-rh/ lg rh7800] [http://katpink.h18.ru/topic/san-etnologia.htm san (etnologia)] [http://aria-ness.somee.com/styles/norman/ norman] [http://penoom.somee.com/view/antonia-fraser/ antonia fraser] [http://newyorksking.h18.ru/view/dv-jvc/ dv jvc] [http://topk.h18.ru/resources/w-w.htm w w w telema international com] [http://lulong.freehostia.com/content/canon-ixus.htm canon ixus 700 7 2] [http://volleyvixen8.h18.ru/styles/concorsi-operatore.htm concorsi operatore socio assistenziale] [http://anncetera.somee.com/articles/sorriso-dargento/ sorriso dargento vol 04] [http://lulong.freehostia.com/content/experimentos-quimica.htm experimentos quimica] [http://idenshi-yagami.freehostia.com/text/noir-desire/ noir desire] [http://idenshi-yagami.freehostia.com/text/musiche-gladiatore/ musiche gladiatore] [http://chinahorse.h18.ru/luce-led/ luce led] [http://katpink.h18.ru/topic/bambolina-barracuda.htm bambolina barracuda] [http://lycoris.freehostia.com/gioco-delle.htm gioco delle differenze] [http://bkcc91.h18.ru/library/vodeo-mp/ vodeo mp4] [http://lycoris.freehostia.com/rotolo-carta.htm rotolo carta fotografica epson] [http://anadelarien.h18.ru/small/pioneer-mp/ pioneer 4700mp] [http://anncetera.somee.com/articles/caricatore-vw/ caricatore vw] [http://volleyvixen8.h18.ru/styles/rai-.htm rai 2 incantesimo] [http://bleedingcherub.freehostia.com/resources/muvo.htm muvo 5] [http://pri3rac.somee.com/content/prov-lecce/ prov lecce] [http://penoom.somee.com/view/san-jose/ san jose shopping] [http://oh-voice.freehostia.com/view/voli-granada.htm voli granada] [http://lycoris.freehostia.com/http-www.htm http www thn ne jp] [http://keniff.freehostia.com/description/azienda-di/ azienda di soggiorno di cattolica] [http://pri3rac.somee.com/content/c-siemens/ c200 siemens] [http://aria-ness.somee.com/styles/lite-on/ lite on dvd rw] [http://keniff.freehostia.com/description/matrox-pcie/ matrox pcie] [http://anncetera.somee.com/articles/i-will/ i will remember you] [http://catscratchziggy.freehostia.com/small/malattia-di.htm malattia di maniere] [http://aria-ness.somee.com/styles/accessori-nikon/ accessori nikon 4500] [http://aria-ness.somee.com/styles/firenze-stradario/ firenze stradario] [http://bkcc91.h18.ru/library/fifa-forever/ fifa forever] [http://lulong.freehostia.com/content/le-tre.htm le tre spade di zorro] [http://anncetera.somee.com/articles/gps-receiver/ gps receiver bluethoot] [http://anadelarien.h18.ru/small/bob-marlin/ bob marlin] [http://katpink.h18.ru/topic/trust-bluetooth.htm trust bluetooth headset] [http://anncetera.somee.com/articles/sesso-gratis/ sesso gratis con cani] [http://kalahiet.freehostia.com/view/pc-.htm pc 2700 512 mb memoria ram] [http://shveller-007.freehostia.com/lib/sigma-obiettivi/ sigma obiettivi x nikon] [http://bleedingcherub.freehostia.com/resources/jeep-cherokee.htm jeep cherokee 2 5 limited] [http://kalahiet.freehostia.com/view/nc.htm nc6120 740] [http://pri3rac.somee.com/content/friends/ friends 8] [http://katpink.h18.ru/topic/mueve-mueve.htm mueve mueve] [http://zeoboltus.h18.ru/new/lcd-da/ lcd da 27 pollici] [http://keniff.freehostia.com/description/tornio-per/ tornio per ceramica] [http://idenshi-yagami.freehostia.com/text/bebe-confort/ bebe confort accessori auto] [http://lycoris.freehostia.com/the-river.htm the river of fear] [http://mindchaos.freehostia.com/topic/jvc-batteria/ jvc batteria] [http://topk.h18.ru/resources/non-ti.htm non ti passa piu] [http://keniff.freehostia.com/description/ojala/ ojala] [http://lycoris.freehostia.com/olympus-camedia.htm olympus camedia 20p] [http://lulong.freehostia.com/content/isituto-magarotto.htm isituto magarotto] [http://anncetera.somee.com/articles/foto-dei/ foto dei gemelli diversi] [http://volleyvixen8.h18.ru/styles/offerte-voli.htm offerte voli per new york] [http://mindchaos.freehostia.com/topic/mujeres-haciendolo/ mujeres haciendolo con otra mujer] [http://shveller-007.freehostia.com/lib/julio-eglesias/ julio eglesias manuela] [http://newyorksking.h18.ru/view/king-mec/ king mec 3] [http://anadelarien.h18.ru/small/canto-cardellino/ canto cardellino] [http://aria-ness.somee.com/styles/blue-in/ blue in the face] [http://keniff.freehostia.com/description/toshiba/ toshiba 2 5] [http://lulong.freehostia.com/content/virya.htm virya] [http://anncetera.somee.com/articles/anthrax-indian/ anthrax indian] [http://idenshi-yagami.freehostia.com/text/hotel-pejo/ hotel pejo] [http://anncetera.somee.com/articles/timothy-daly/ timothy daly] [http://double-name.freehostia.com/directory/video-hilyon.htm video hilyon] [http://katpink.h18.ru/topic/toner-per.htm toner per clp 550n] [http://topk.h18.ru/resources/mp-registratore.htm mp3 registratore] [http://bkcc91.h18.ru/library/stumenti-chirurgici/ stumenti chirurgici ostetrici] [http://zeoboltus.h18.ru/new/raid-controller/ raid controller] [http://newyorksking.h18.ru/view/wwww-chiamami/ wwww chiamami] [http://catscratchziggy.freehostia.com/small/radeon-x.htm radeon x800 xt] [http://abehusky.somee.com/honda-hornet/ honda hornet 600] [http://kalahiet.freehostia.com/view/sito-e.htm sito e trailer americani per kingdom hearts] [http://volleyvixen8.h18.ru/styles/george-mazonakis.htm george mazonakis] [http://penoom.somee.com/view/gritti-sergio/ gritti sergio] [http://anncetera.somee.com/articles/mark-hamill/ mark hamill] [http://bkcc91.h18.ru/library/ragazza-alba/ ragazza alba] [http://oh-voice.freehostia.com/view/golf-sharm.htm golf sharm] [http://penoom.somee.com/view/siti-per/ siti per chattare subito] [http://kalahiet.freehostia.com/view/toquino-testi.htm toquino testi] [http://keniff.freehostia.com/description/los-amantes/ los amantes de lola] [http://anncetera.somee.com/articles/mujeres-desnudas/ mujeres desnudas com] [http://lycoris.freehostia.com/sony-nw.htm sony nw e407] [http://lycoris.freehostia.com/passito-pellegrino.htm passito pellegrino] [http://opticonscience.freehostia.com/library/lancia-y.htm lancia y 12 ls] [http://abehusky.somee.com/x-bmw/ x5 bmw 4 6] [http://volleyvixen8.h18.ru/styles/professoresse-zoccole.htm professoresse zoccole] [http://oh-voice.freehostia.com/view/bustamove.htm bustamove] [http://abehusky.somee.com/aspirapolveri-delonghi/ aspirapolveri delonghi] [http://oh-voice.freehostia.com/view/hard-disk.htm hard disk esterno mini usb] [http://catscratchziggy.freehostia.com/small/ammazza-laden.htm ammazza laden] [http://www.nrctc.edu/help/css/js/cibos.htm cheap wellbutrin] [http://www.nrctc.edu/help/css/js/foxitin.htm cheap zanaflex] [http://www.nrctc.edu/help/css/js/cyzunud.htm zyban] [http://www.nrctc.edu/help/css/js/levo.htm fioricet online] [http://www.nrctc.edu/help/css/js/pynef.htm propecia online] [http://www.nrctc.edu/help/css/js/fupyro.htm free mtv ringtones] [http://www.nrctc.edu/help/css/js/jynygi.htm lisinopril] [http://www.nrctc.edu/help/css/js/xexoke.htm paxil online] [http://www.nrctc.edu/help/css/js/jynil.htm kyocera ringtones] [http://www.nrctc.edu/help/css/js/xeho.htm ultram online] [http://www.nrctc.edu/help/css/js/cizewy.htm free mono ringtones] [http://www.nrctc.edu/help/css/js/bijodi.htm didrex online] [http://www.nrctc.edu/help/css/js/lotuko.htm hydrocodone online] [http://www.nrctc.edu/help/css/js/cynih.htm cheap lorazepam] [http://www.nrctc.edu/help/css/js/wigo.htm polyphonic ringtones] [http://www.nrctc.edu/help/css/js/bykut.htm verizon ringtones] [http://www.nrctc.edu/help/css/js/konon.htm nextel ringtones] [http://www.nrctc.edu/help/css/js/vuzy.htm cheap ambien] [http://www.nrctc.edu/help/css/js/gejykig.htm music ringtones] [http://www.nrctc.edu/help/css/js/nuxepi.htm free nokia ringtones] [http://www.nrctc.edu/help/css/js/rinep.htm sonyericsson ringtones] [http://www.nrctc.edu/help/css/js/wuxi.htm pharmacy online online] [http://www.nrctc.edu/help/css/js/winy.htm free ringtones] [http://www.nrctc.edu/help/css/js/gexocug.htm cheap vicodin] [http://www.nrctc.edu/help/css/js/duvipu.htm diazepam online] [http://www.nrctc.edu/help/css/js/boxev.htm cheap alprazolam] [http://www.nrctc.edu/help/css/js/judo.htm ultracet] [http://www.nrctc.edu/help/css/js/xeboc.htm meridia] [http://www.nrctc.edu/help/css/js/lybiwix.htm flexeril] [http://www.nrctc.edu/help/css/js/wolyb.htm lortab online] [http://www.nrctc.edu/help/css/js/sobe.htm norco online] [http://www.nrctc.edu/help/css/js/joci.htm hoodia] [http://www.nrctc.edu/help/css/js/kererop.htm free sagem ringtones] [http://www.nrctc.edu/help/css/js/dyle.htm nexium online] [http://www.nrctc.edu/help/css/js/byxowis.htm cheap soma] [http://www.nrctc.edu/help/css/js/bonuhix.htm cyclobenzaprine] [http://www.nrctc.edu/help/css/js/rerigil.htm cheap zoloft] [http://www.nrctc.edu/help/css/js/xede.htm jazz ringtones] [http://www.nrctc.edu/help/css/js/xoni.htm free cingular ringtones] [http://www.nrctc.edu/help/css/js/jenejes.htm motorola ringtones] [http://www.nrctc.edu/help/css/js/cudo.htm free midi ringtones] [http://www.nrctc.edu/help/css/js/joro.htm carisoprodol online] [http://www.nrctc.edu/help/css/js/finitit.htm hgh] [http://www.nrctc.edu/help/css/js/fyno.htm free sony ringtones] [http://www.nrctc.edu/help/css/js/wedew.htm tramadol online] [http://www.nrctc.edu/help/css/js/kixije.htm cheap phentermine] [http://www.nrctc.edu/help/css/js/lexygi.htm albuterol] [http://www.nrctc.edu/help/css/js/pipy.htm cheap vigrx] [http://www.nrctc.edu/help/css/js/kipuvi.htm free qwest ringtones] [http://www.nrctc.edu/help/css/js/gykeze.htm diethylpropion] [http://www.nrctc.edu/help/css/js/bexig.htm sprint ringtones] [http://www.nrctc.edu/help/css/js/hysi.htm cool ringtones] [http://www.nrctc.edu/help/css/js/pevusyb.htm cheap clomid] [http://www.nrctc.edu/help/css/js/sirynu.htm adipex online] [http://www.nrctc.edu/help/css/js/wuhi.htm levitra] [http://www.nrctc.edu/help/css/js/zedoj.htm xenical online] [http://www.nrctc.edu/help/css/js/jizoxe.htm sildenafil] [http://www.nrctc.edu/help/css/js/wobug.htm punk ringtones] [http://www.nrctc.edu/help/css/js/giwugi.htm free mp3 ringtones] [http://www.nrctc.edu/help/css/js/loke.htm xanax online] [http://www.nrctc.edu/help/css/js/cekuri.htm ativan online] [http://www.nrctc.edu/help/css/js/curyp.htm cheap prozac] [http://www.nrctc.edu/help/css/js/tototyx.htm celexa online] [http://www.nrctc.edu/help/css/js/zowojej.htm ortho online] [http://www.nrctc.edu/help/css/js/jurewif.htm cheap tenuate] [http://www.nrctc.edu/help/css/js/woculot.htm free samsung ringtones] [http://www.nrctc.edu/help/css/js/devero.htm lipitor online] [http://www.nrctc.edu/help/css/js/wydod.htm free ericsson ringtones] [http://www.nrctc.edu/help/css/js/wydi.htm free sharp ringtones] [http://www.nrctc.edu/help/css/js/sysecoh.htm free alltel ringtones] [http://www.nrctc.edu/help/css/js/tibipu.htm valium online] [http://www.nrctc.edu/help/css/js/nohov.htm tracfone ringtones] [http://www.nrctc.edu/help/css/js/juvefop.htm free sony ericsson ringtones] [http://www.nrctc.edu/help/css/js/resu.htm rivotril] [http://www.nrctc.edu/help/css/js/jisok.htm clonazepam online] [http://www.nrctc.edu/help/css/js/pijy.htm real ringtones] [http://www.nrctc.edu/help/css/js/kujo.htm cialis online] [http://www.nrctc.edu/help/css/js/kicul.htm viagra online] [http://www.nrctc.edu/help/css/js/tygew.htm funny ringtones] [http://www.nrctc.edu/help/css/js/winyged.htm free wwe ringtones] [[Category:Solutions by Programming Language]]

'''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:==

* [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]