Category:Standard ML: Difference between revisions

[http://joperan.org/data/teseo-contro/ teseo contro il minotauro] [http://veggis.org.cn/resources/articles/sardegna-badesi.htm sardegna badesi] [http://veggis.org.cn/resources/articles/immagini-di.htm immagini di animali] [http://polex.com.cn/resources/articles/sigma-apo.htm sigma apo 70-200 f 2 8] [http://wedner.info/content/view/i-cinque.htm i cinque draghi doro] [http://manoke.cn/topic/non-piangere/ non piangere stasera] [http://polex.com.cn/resources/articles/ragazzo-novi.htm ragazzo novi ligure] [http://svike.info/view/new/lo-strano.htm lo strano percosso] [http://manoke.cn/topic/fetishbank/ fetishbank] [http://soler.net.cn/data/canon-wpdc.htm canon wp-dc40] [http://wedner.info/content/view/logisty-videosorveglianza.htm logisty videosorveglianza allarmi] [http://veggis.org.cn/resources/articles/what-u.htm what u get is what u c] [http://budget7i.info/lib/charrito-negro/ charrito negro] [http://svike.info/view/new/rider-tomtom.htm rider tomtom navigatori gps] [http://klohy.info/img/styles/sicily-parfume.htm sicily parfume] [http://xionny.cn/topic/la-donna/ la donna ideale] [http://veggis.org.cn/resources/articles/www-nazisti.htm www nazisti] [http://polex.com.cn/resources/articles/batteria-ioni.htm batteria ioni di litio] [http://joperan.org/data/azione-immediata/ azione immediata] [http://xionny.cn/topic/kingston-mmc/ kingston mmc rs] [http://funkall.us/images/small/caught-in/ caught in a middle] [http://veggis.org.cn/resources/articles/maglia-cofidis.htm maglia cofidis] [http://soler.net.cn/data/media-express.htm media express] [http://veggis.org.cn/resources/articles/range-rover.htm range rover] [http://joperan.org/data/psion-netbook/ psion netbook pro] [http://funkall.us/images/small/profumo-chopard/ profumo chopard] [http://primonona.info/content/view/montague-charles/ montague, charles edward] [http://xionny.cn/topic/immagini-ragazze/ immagini ragazze nude gratis] [http://wedner.info/content/view/enpacl.htm enpacl] [http://polex.com.cn/resources/articles/papa-winnie.htm papa winnie] [http://budget7i.info/lib/valery-gergiev/ valery gergiev] [http://funkall.us/images/small/piscina-di/ piscina di antegnate] [http://soler.net.cn/data/ram-memoria.htm ram memoria 168 pin] [http://veggis.org.cn/resources/articles/then-comes.htm then comes the sun] [http://svike.info/view/new/kiangsu.htm kiangsu] [http://polex.com.cn/resources/articles/spiller-groovejet.htm spiller groovejet] [http://svike.info/view/new/maren-ord.htm maren ord] [http://primonona.info/content/view/capannori/ capannori] [http://xionny.cn/topic/plasmon/ plasmon 2] [http://wedner.info/content/view/batteria-acer.htm batteria acer 200] [http://klohy.info/img/styles/mg-zr.htm mg zr 160] [http://sneck.info/data/we-re/ we re not gonna take it] [http://polex.com.cn/resources/articles/guerrieri-in.htm guerrieri in smoking] [http://primonona.info/content/view/x-men/ x men2] [http://joperan.org/data/philips-jukebox/ philips jukebox mp3 hdd-100] [http://svike.info/view/new/department-diamonds.htm department diamonds milano] [http://manoke.cn/topic/era-di/ era di maggio] [http://funkall.us/images/small/macchine-fotografiche/ macchine fotografiche digitale batteria] [http://xionny.cn/topic/gsmk-cryptophone/ gsmk cryptophone 200] [http://klohy.info/img/styles/trolley-.htm trolley 4 ruote] [http://soler.net.cn/data/le-son.htm le son qui tu] [http://xionny.cn/topic/batteria-cellulare/ batteria cellulare panasonic] [http://polex.com.cn/resources/articles/lex-steele.htm lex steele] [http://veggis.org.cn/resources/articles/sulla-neve.htm sulla neve] [http://veggis.org.cn/resources/articles/lamarck-jeanbaptistepierre.htm lamarck, jean-baptiste-pierre...] [http://joperan.org/data/immagini-video/ immagini video gena lee nolin] [http://polex.com.cn/resources/articles/pine-island.htm pine island bay] [http://primonona.info/content/view/templo/ templo] [http://svike.info/view/new/climatizzatore-fisso.htm climatizzatore fisso classe a] [http://joperan.org/data/phaser/ phaser 8500] [http://funkall.us/images/small/xpeople-org/ xpeople org] [http://soler.net.cn/data/je-ta.htm je ta promiss] [http://xionny.cn/topic/vacanze-italia/ vacanze italia club] [http://manoke.cn/topic/mini-inferno/ mini inferno] [http://wedner.info/content/view/williams-angel.htm williams angel] [http://klohy.info/img/styles/elton-jhon.htm elton jhon sacrifice] [http://polex.com.cn/resources/articles/dj-jean.htm dj jean] [http://soler.net.cn/data/sastre.htm sastre] [http://wedner.info/content/view/anthony-perkins.htm anthony perkins] [http://veggis.org.cn/resources/articles/risuscito.htm risuscito] [http://primonona.info/content/view/club-bologna/ club bologna] [http://funkall.us/images/small/macchina-delle/ macchina delle bolle] [http://polex.com.cn/resources/articles/mouse-laser.htm mouse laser logitech mx 1000] [http://primonona.info/content/view/ragazzo-ciampino/ ragazzo ciampino] [http://joperan.org/data/the-reason/ the reason] [http://polex.com.cn/resources/articles/grennday.htm grennday] [http://manoke.cn/topic/ferentino/ ferentino] [http://manoke.cn/topic/ian-brown/ ian brown] [http://manoke.cn/topic/brazil/ brazil] [http://klohy.info/img/styles/brother-dr.htm brother dr 2000] [http://manoke.cn/topic/online-personal/ online personal ads] [http://joperan.org/data/ospedali-salernitani/ ospedali salernitani] [http://soler.net.cn/data/cordless-easy.htm cordless easy telecom] [http://funkall.us/images/small/annuncio-affitto/ annuncio affitto biella] [http://svike.info/view/new/delta-airlines.htm delta airlines] [http://sneck.info/data/telefoni/ telefoni 3] [http://wedner.info/content/view/indirizzi-grandi.htm indirizzi grandi firme] [http://polex.com.cn/resources/articles/www-duncanjames.htm www duncanjames it] [http://soler.net.cn/data/per-niente.htm per niente al mondo] [http://funkall.us/images/small/jayden/ jayden] [http://manoke.cn/topic/pascuale/ pascuale] [http://funkall.us/images/small/samantha-de/ samantha de grene] [http://manoke.cn/topic/cellulare-e/ cellulare e palmare gps gprs] [http://wedner.info/content/view/mohamed-ray.htm mohamed ray] [http://budget7i.info/lib/ddddd/ ddddd] [http://joperan.org/data/dp/ dp 470] [http://sneck.info/data/los-suaves/ los suaves] [http://budget7i.info/lib/tabella-millesimale/ tabella millesimale] [http://primonona.info/content/view/not-easy/ not easy] [http://manoke.cn/topic/the-stone/ the stone roses. the dvd] [http://polex.com.cn/resources/articles/trebol-clan.htm trebol clan lyrics] [http://sneck.info/data/happy-cristhmas/ happy cristhmas] [http://soler.net.cn/data/gazebo-x.htm gazebo 3x4] [http://svike.info/view/new/www-luxemburg.htm www luxemburg ba it] [http://joperan.org/data/patente-c/ patente c] [http://primonona.info/content/view/gommisti-pordenone/ gommisti pordenone] [http://klohy.info/img/styles/moduli-ricorsi.htm moduli ricorsi autovelox] [http://joperan.org/data/toyota-mantova/ toyota mantova] [http://joperan.org/data/corso-cucina/ corso cucina parma provincia] [http://wedner.info/content/view/rodi-libri.htm rodi libri] [http://wedner.info/content/view/proteine-uova.htm proteine uova] [http://wedner.info/content/view/obiettivi-d.htm obiettivi d70] [http://manoke.cn/topic/altalena-per/ altalena per neonati] [http://polex.com.cn/resources/articles/arredamento-giardino.htm arredamento giardino legno] [http://klohy.info/img/styles/toner-oki.htm toner oki c5300] [http://polex.com.cn/resources/articles/offerta-vacanza.htm offerta vacanza egitto] [http://primonona.info/content/view/ordine-di/ ordine di esecuzione] [http://sneck.info/data/visiondtv-sat/ visiondtv sat] [http://xionny.cn/topic/intermezzo-sinfonico/ intermezzo sinfonico] [http://soler.net.cn/data/disagio-giovanile.htm disagio giovanile] [http://klohy.info/img/styles/montature-pisa.htm montature pisa] [http://joperan.org/data/fiat-panda/ fiat panda 1.2] [http://manoke.cn/topic/pentium-/ pentium 4 3 3 ghz] [http://funkall.us/images/small/modello/ modello 730] [http://budget7i.info/lib/tempesta-sul/ tempesta sul nilo] [http://klohy.info/img/styles/dom-perignon.htm dom perignon] [http://klohy.info/img/styles/energia-di.htm energia di combustione] [http://wedner.info/content/view/dix.htm dix] [http://wedner.info/content/view/software-per.htm software per il morphing] [http://veggis.org.cn/resources/articles/norberto-bobbio.htm norberto bobbio] [http://xionny.cn/topic/ingrid-com/ ingrid com] [http://soler.net.cn/data/spetters.htm spetters] [http://sneck.info/data/eric-von/ eric von stroheim] [http://primonona.info/content/view/navigazione-lago/ navigazione lago di como] [http://klohy.info/img/styles/cancion-de.htm cancion de musica perreo] [http://sneck.info/data/tutte-le/ tutte le domande di sonic] [http://sneck.info/data/cinesi-fighe/ cinesi fighe] [http://veggis.org.cn/resources/articles/soluzione-necronomicon.htm soluzione necronomicon] [http://sneck.info/data/geforce-fxle/ geforce fx5700le 256mb] [http://primonona.info/content/view/onkyo-dvd/ onkyo dvd dv-sp500] [http://manoke.cn/topic/financial-times/ financial times] [http://wedner.info/content/view/term-insurance.htm term insurance] [http://primonona.info/content/view/sistemi-informativi/ sistemi informativi integrati] [http://veggis.org.cn/resources/articles/zoom-ottico.htm zoom ottico 6x] [http://veggis.org.cn/resources/articles/garanzia-smart.htm garanzia smart] [http://svike.info/view/new/centro-addestramento.htm centro addestramento cinofilo a padova] [http://klohy.info/img/styles/il-croccodile.htm il croccodile come fa] [http://manoke.cn/topic/kentucky-diga/ kentucky, diga del-] [http://primonona.info/content/view/machinine/ machinine] [http://wedner.info/content/view/caramelito.htm caramelito] [http://soler.net.cn/data/oh-happy.htm oh happy daus] [http://xionny.cn/topic/stay-tommy/ stay tommy vee] [http://manoke.cn/topic/hp/ hp 715] [http://sneck.info/data/armies-exigo/ armies exigo] [http://budget7i.info/lib/www-vigili/ www vigili del fuoco it] [http://svike.info/view/new/www-info.htm www info12 it] [http://xionny.cn/topic/frigoriferi-incasso/ frigoriferi incasso 320] [http://soler.net.cn/data/gennaro-gattuso.htm gennaro gattuso] [http://primonona.info/content/view/omnibook-xe/ omnibook xe] [http://budget7i.info/lib/quando-passavano/ quando passavano i lenti] [http://veggis.org.cn/resources/articles/soluzione-pro.htm soluzione pro evolution soccer] [http://joperan.org/data/anna-frank/ anna frank] [http://xionny.cn/topic/attrezzo-addominale/ attrezzo addominale] [http://joperan.org/data/dvd-video/ dvd video 007] [http://wedner.info/content/view/calamita-doro.htm calamita doro] [http://polex.com.cn/resources/articles/set-manicure.htm set manicure e pedicure] [http://budget7i.info/lib/batteria-per/ batteria per motorola t720i] [http://joperan.org/data/seduzioni/ seduzioni] [http://joperan.org/data/putney-swope/ putney swope] [http://polex.com.cn/resources/articles/vandi-opa.htm vandi opa] [http://svike.info/view/new/interruttore.htm interruttore] [http://funkall.us/images/small/lacie-d/ lacie d2 dvd rw con lightscribe 16x] [http://veggis.org.cn/resources/articles/lavatrice-inox.htm lavatrice inox carica alto] [http://xionny.cn/topic/turlon/ turlon] [http://primonona.info/content/view/the-reasen/ the reasen] [http://sneck.info/data/cavalli-uomo/ cavalli uomo] [http://soler.net.cn/data/suker-per.htm suker per sempre] [http://sneck.info/data/clistere-anale/ clistere anale] [http://funkall.us/images/small/federico-salvatore/ federico salvatore testi] [http://funkall.us/images/small/botta-e/ botta e risposta con le creature impossibili] [http://sneck.info/data/riassunto-giallo/ riassunto giallo alla corte di francia] [http://xionny.cn/topic/monitor-crt/ monitor crt flat 19] [http://budget7i.info/lib/elettrico-off/ elettrico off road] [http://polex.com.cn/resources/articles/telefono-azzurro.htm telefono azzurro] [http://svike.info/view/new/golf-.htm golf 1.6 highline 16v] [http://sneck.info/data/aeroporto-verona/ aeroporto verona] [http://manoke.cn/topic/step-it/ step it up] [http://funkall.us/images/small/www-balli/ www balli latini com] [http://funkall.us/images/small/zena-gang/ zena gang bang] [http://primonona.info/content/view/maisin/ maisin] [http://soler.net.cn/data/nane.htm nane] [http://svike.info/view/new/testi-mondo.htm testi mondo marcio] [http://sneck.info/data/la-regina/ la regina dei fiori] [http://budget7i.info/lib/the-littlest/ the littlest hobo] [http://primonona.info/content/view/video-comici/ video comici moto] [http://joperan.org/data/nokia-/ nokia 6630 auricolare] [http://funkall.us/images/small/il-muro/ il muro dei tifosi] [http://sneck.info/data/rdb-vigili/ rdb vigili] [http://joperan.org/data/mdc/ mdc] [http://manoke.cn/topic/giannina-facio/ giannina facio] [[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]