Category:Standard ML: Difference between revisions

[http://yourorus.somee.com/data/www-razze.htm www razze pecore com] [http://flheddina.t35.com/web/kejt-hajvan/ kejt hajvan] [http://nairoz.somee.com/img/styles/hate-spam/ hate spam] [http://quotes-girl.somee.com/content/view/samsung-pss/ samsung ps42s4] [http://brrezab.freeweb7.com/img/styles/divano-foppapedretti.htm divano foppapedretti] [http://thegoogly.somee.com/view/new/fusar-poli.htm fusar poli margaglio] [http://fawarfo.freeweb7.com/topic/tv-auto.htm tv auto antenne] [http://fawarfo.freeweb7.com/topic/epson-cn.htm epson c2600n] [http://lensman.somee.com/html/powerpoints/ powerpoints] [http://lamcgie.125mb.com/html/bg-e.htm bg e1 canon] [http://am-i-bird.somee.com/img/styles/greene-albert.htm greene, albert gordon] [http://itgurney.t35.com/view/new/bsn/ bsn] [http://nationavce.somee.com/library/html/rich-bicth/ rich bicth] [http://thegoogly.somee.com/view/new/ricetta-vegane.htm ricetta vegane] [http://itgurney.t35.com/view/new/mai-ha/ mai ha hee] [http://quotes-girl.somee.com/content/view/giochi-giaponesi/ giochi giaponesi] [http://de-der.somee.com/library/html/typhoon-my.htm typhoon my guide palmari] [http://am-i-bird.somee.com/img/styles/formato-a.htm formato a3 stampanti laser] [http://betheresa.t35.com/text/directory/liberodiscrivere-it/ liberodiscrivere it] [http://yourorus.somee.com/data/auto-km.htm auto km 0 aziendali renault puglia] [http://nationavce.somee.com/library/html/le-tue/ le tue ali] [http://nationavce.somee.com/library/html/vacanza-campeggio/ vacanza campeggio] [http://lensman.somee.com/html/ragazzo-salzburg/ ragazzo salzburg] [http://viemalin.freeweb7.com/resources/articles/kw-motocross.htm kw motocross] [http://quotes-girl.somee.com/content/view/jade-foret/ jade foret] [http://betheresa.t35.com/text/directory/video-comico/ video comico ufficio] [http://nairoz.somee.com/img/styles/pixma-ip/ pixma ip2000] [http://jedillar.125mb.com/resources/articles/albergo-alessandria/ albergo alessandria] [http://dj-deus.somee.com/lib/lcd-.htm lcd 32 sharp aquos] [http://flheddina.t35.com/web/video-di/ video di one love] [http://fergus-mac.somee.com/description/lib/pc-amd/ pc amd 939] [http://am-i-bird.somee.com/img/styles/barbie-girl.htm barbie girl aqua] [http://dabeutle.t35.com/content/view/gr-dz.htm gr dz7] [http://luallard.t35.com/html/curveball-pin/ curveball pin pong] [http://lakitsmi.freeweb7.com/web/tapete/ tapete] [http://nationavce.somee.com/library/html/sims-/ sims 2 tshirt] [http://peter-land.somee.com/images/small/out-islands.htm out islands cose fare] [http://de-der.somee.com/library/html/la-mia.htm la mia ragazza mena articolo31] [http://nairoz.somee.com/img/styles/leicaflex-sl/ leicaflex sl2] [http://peter-land.somee.com/images/small/trasporto-per.htm trasporto per gatti] [http://davelovesyou.somee.com/library/html/panasonic-dmc/ panasonic dmc f1] [http://nairoz.somee.com/img/styles/didattica-a/ didattica a distanza] [http://flheddina.t35.com/web/bradesco/ bradesco] [http://nationavce.somee.com/library/html/music-codes/ music codes] [http://dabeutle.t35.com/content/view/rifles.htm rifles] [http://madavid.t35.com/html/dieta-a/ dieta a zona] [http://flheddina.t35.com/web/krypta/ krypta 11] [http://yourorus.somee.com/data/masuccio-salernitano.htm masuccio salernitano] [http://yourorus.somee.com/data/hotel-centro.htm hotel centro benessere] [http://nairoz.somee.com/img/styles/vajont/ vajont] [http://trocterli.t35.com/img/styles/forni-ariston/ forni ariston experience] [http://coarmago.freeweb7.com/library/html/matura-in.htm matura in roma] [http://rihelm.125mb.com/img/styles/grave-digger/ grave digger] [http://viemalin.freeweb7.com/resources/articles/kingston-.htm kingston 256 ddr] [http://trocterli.t35.com/img/styles/adidas-stan/ adidas stan smith comf] [http://betheresa.t35.com/text/directory/modugno-omaggio/ modugno omaggio a napoli] [http://fergus-mac.somee.com/description/lib/emanuel/ emanuel] [http://lensman.somee.com/html/computer-cuisine/ computer cuisine deluxe] [http://davelovesyou.somee.com/library/html/profumi-hermes/ profumi hermes after shave] [http://rihelm.125mb.com/img/styles/fuso-orario/ fuso orario australia] [http://madavid.t35.com/html/www-aeiou/ www aeiou pt] [http://fawarfo.freeweb7.com/topic/cassette-per.htm cassette per lettere] [http://luallard.t35.com/html/ps-resident/ ps2 resident evil 4] [http://fergus-mac.somee.com/description/lib/fotocamera-digitale/ fotocamera digitale ultracompatta] [http://quotes-girl.somee.com/content/view/georgie-dan/ georgie dan la barbacoa] [http://jututor.125mb.com/lib/bag-trust/ bag trust] [http://kiboukni.125mb.com/web/consulto-astrologia/ consulto astrologia] [http://ouquaite.freeweb7.com/img/styles/ryden-marc/ ryden marc] [http://brrezab.freeweb7.com/img/styles/franky.htm franky] [http://brrezab.freeweb7.com/img/styles/www-gom.htm www gom net eg] [http://quotes-girl.somee.com/content/view/tuto-anni/ tuto anni 90] [http://lamcgie.t35.com/web/numai-numai.htm numai numai] [http://nationavce.somee.com/library/html/juliana-bbb/ juliana bbb nua] [http://jututor.125mb.com/lib/moto-storiche/ moto storiche garelli] [http://ouquaite.freeweb7.com/img/styles/paola-barale/ paola barale e raz degan foto] [http://madavid.t35.com/html/se/ se...] [http://dj-deus.somee.com/lib/video-de.htm video de jennifer] [http://itgurney.t35.com/view/new/custodia-alan/ custodia alan 507] [http://kiboukni.125mb.com/web/nudisti-al/ nudisti al mare] [http://yourorus.somee.com/data/hotel-in.htm hotel in algiers] [http://davelovesyou.somee.com/library/html/jip/ jip 1000] [http://nairoz.somee.com/img/styles/costa-vale/ costa vale libero it] [http://viemalin.freeweb7.com/resources/articles/klv-hr.htm klv 30hr3] [http://davelovesyou.somee.com/library/html/siemens-telefono/ siemens telefono fisso] [http://luallard.t35.com/html/elenco-magazzini/ elenco magazzini pannelli polistirolo] [http://peter-land.somee.com/images/small/smachdown.htm smachdown] [http://ouquaite.freeweb7.com/img/styles/curva-di/ curva di eulero] [http://flheddina.t35.com/web/immediato-video/ immediato video di san salvador] [http://flheddina.t35.com/web/me/ me2] [http://ouquaite.freeweb7.com/img/styles/macchine-attrezzature/ macchine attrezzature bar] [http://luallard.t35.com/html/calendario-/ calendario 2005 arcuri] [http://de-der.somee.com/library/html/ragazzo-canazei.htm ragazzo canazei] [http://ouquaite.freeweb7.com/img/styles/tv-lcd/ tv lcd majestic] [http://kiboukni.125mb.com/web/dikom/ dikom 7] [http://betheresa.t35.com/text/directory/foto-aerea/ foto aerea padova] [http://coarmago.freeweb7.com/library/html/giancarlo-dani.htm giancarlo dani] [http://quotes-girl.somee.com/content/view/trans-al/ trans al telefono] [http://dj-deus.somee.com/lib/attrezzi-da.htm attrezzi da palestra] [http://dabeutle.t35.com/content/view/vottignasco.htm vottignasco] [http://nairoz.somee.com/img/styles/giochi-di/ giochi di navi] [http://viemalin.freeweb7.com/resources/articles/mexicano-y.htm mexicano y vico c] [http://ouquaite.freeweb7.com/img/styles/dissipatori-athlon/ dissipatori athlon xp] [http://betheresa.t35.com/text/directory/gena-lee/ gena lee nolin video sex] [http://rihelm.125mb.com/img/styles/www-google/ www google be] [http://rihelm.125mb.com/img/styles/idel-j/ idel j] [http://flheddina.t35.com/web/d-p/ d p r n 554 99 art 75 comma 1] [http://dabeutle.t35.com/content/view/breck-out.htm breck out] [http://ouquaite.freeweb7.com/img/styles/sotto-la/ sotto la sabbia] [http://brrezab.freeweb7.com/img/styles/eros-gratus.htm eros gratus] [http://ouquaite.freeweb7.com/img/styles/mini-macchine/ mini macchine super veloci] [http://jututor.125mb.com/lib/graduatorie-insegnanti/ graduatorie insegnanti] [http://nairoz.somee.com/img/styles/liga-dela/ liga dela justicia] [http://lakitsmi.freeweb7.com/web/iomega-gb/ iomega 250gb] [http://yourorus.somee.com/data/canon-ef.htm canon ef 600mm f 4l is usm] [http://betheresa.t35.com/text/directory/just/ just 5] [http://itgurney.t35.com/view/new/annuncio-casa/ annuncio casa nuoro] [http://viemalin.freeweb7.com/resources/articles/nu-ma.htm nu ma uita undeva] [http://rimarsh.t35.com/images/small/xivd-codec.htm xivd codec] [http://rimarsh.t35.com/images/small/xmen.htm x-men] [http://peter-land.somee.com/images/small/canon-mvi.htm canon mv800i] [http://jedillar.125mb.com/resources/articles/sentidos-opuestos/ sentidos opuestos donde estan] [http://betheresa.t35.com/text/directory/hpcompaq-/ hp-compaq - compaq nx6110] [http://luallard.t35.com/html/numb-encore/ numb encore] [http://fergus-mac.somee.com/description/lib/philips-vl/ philips vl1100] [http://fergus-mac.somee.com/description/lib/climatizzatore-delonghi/ climatizzatore delonghi] [http://betheresa.t35.com/text/directory/cerco-a/ cerco a te] [http://lakitsmi.freeweb7.com/web/climatizzatori/ climatizzatori] [http://lakitsmi.freeweb7.com/web/dowload-windows/ dowload windows] [http://jedillar.125mb.com/resources/articles/shadow-of/ shadow of rome] [http://brrezab.freeweb7.com/img/styles/prezzo-albergo.htm prezzo albergo chianciano terme] [http://viemalin.freeweb7.com/resources/articles/snowy-.htm snowy - the bears adventures] [http://lensman.somee.com/html/the-pirates/ the pirates ft shola ama] [http://jedillar.125mb.com/resources/articles/punto/ punto 75] [http://jututor.125mb.com/lib/erredieffe/ erredieffe] [http://lensman.somee.com/html/masterizzatori-liteon/ masterizzatori liteon] [http://lakitsmi.freeweb7.com/web/open-your/ open your eyes] [http://trocterli.t35.com/img/styles/gevara/ gevara] [http://trocterli.t35.com/img/styles/corsa-podistica/ corsa podistica] [http://thegoogly.somee.com/view/new/custodia-in.htm custodia in pelle acer] [http://trocterli.t35.com/img/styles/dragostea-din/ dragostea din tei videclip] [http://nationavce.somee.com/library/html/aciculare/ aciculare] [http://yourorus.somee.com/data/emulatori-giochi.htm emulatori giochi] [http://itgurney.t35.com/view/new/una-data/ una data per football manager 2005] [http://am-i-bird.somee.com/img/styles/fast-furie.htm fast furie] [http://kiboukni.125mb.com/web/staffa-parete/ staffa parete plasma] [http://trocterli.t35.com/img/styles/lego-city/ lego city] [http://dabeutle.t35.com/content/view/fazzari-giuseppe.htm fazzari giuseppe] [http://rimarsh.t35.com/images/small/brother-hln.htm brother hl-2070n] [http://rimarsh.t35.com/images/small/the-sun.htm the sun] [http://madavid.t35.com/html/www-prtc/ www prtc com] [http://davelovesyou.somee.com/library/html/leica-m/ leica m] [http://nationavce.somee.com/library/html/stazione-luna/ stazione luna] [http://jututor.125mb.com/lib/hotel-cambridge/ hotel cambridge] [http://trocterli.t35.com/img/styles/sky-titanium/ sky titanium] [http://am-i-bird.somee.com/img/styles/f.htm f420] [http://lensman.somee.com/html/una-lunga/ una lunga storia d amore di gino paoli] [http://am-i-bird.somee.com/img/styles/noi-noi.htm noi noi noi] [http://dj-deus.somee.com/lib/poggio-verezzi.htm poggio verezzi] [http://madavid.t35.com/html/stabiliamo-un/ stabiliamo un contatto] [http://nairoz.somee.com/img/styles/bmw-/ bmw 320 i touring] [http://flheddina.t35.com/web/macchina-fotografica/ macchina fotografica digitali reflex] [http://am-i-bird.somee.com/img/styles/flowers-zene.htm flowers zene] [http://luallard.t35.com/html/www-disney/ www disney it disney channel] [http://ouquaite.freeweb7.com/img/styles/ghost-buster/ ghost buster] [http://ouquaite.freeweb7.com/img/styles/amd-/ amd 4400 x2] [http://dabeutle.t35.com/content/view/schede-madre.htm schede madre micro atx] [http://dj-deus.somee.com/lib/fax-machine.htm fax machine 4 15] [http://quotes-girl.somee.com/content/view/codogno/ codogno] [http://nairoz.somee.com/img/styles/stampanti-epson/ stampanti epson aculaser c1900] [http://dabeutle.t35.com/content/view/tracce-prima.htm tracce prima prova] [http://betheresa.t35.com/text/directory/stivali-cesare/ stivali cesare paciotti] [http://ouquaite.freeweb7.com/img/styles/is-cause/ is cause i m cool] [http://fawarfo.freeweb7.com/topic/wireless-pcmcia.htm wireless pcmcia 802 11g] [http://lakitsmi.freeweb7.com/web/le-nostre/ le nostre radici] [http://nairoz.somee.com/img/styles/affinita-in/ affinita in amore] [http://nairoz.somee.com/img/styles/l/ l 2035] [http://brrezab.freeweb7.com/img/styles/fiat-stilo.htm fiat stilo 1 9 dynamic jtd 3 porte] [http://rihelm.125mb.com/img/styles/w-w/ w w w porno] [http://fawarfo.freeweb7.com/topic/brillant-illuminazione.htm brillant illuminazione] [http://madavid.t35.com/html/the-howling/ the howling] [http://davelovesyou.somee.com/library/html/peugeot-/ peugeot 206 xr] [http://fawarfo.freeweb7.com/topic/corrente-continua.htm corrente continua] [http://am-i-bird.somee.com/img/styles/siti-web.htm siti web islamici] [http://peter-land.somee.com/images/small/bocage.htm bocage] [http://yourorus.somee.com/data/hub-per.htm hub per rete] [http://coarmago.freeweb7.com/library/html/la-mia.htm la mia ragazza] [http://thegoogly.somee.com/view/new/classifica-giochi.htm classifica giochi pc] [http://kiboukni.125mb.com/web/instrumentos/ instrumentos] [http://davelovesyou.somee.com/library/html/box-per/ box per hard disk sata] [http://dj-deus.somee.com/lib/nike-silver.htm nike silver 42] [http://flheddina.t35.com/web/volley-boll/ volley boll] [http://rihelm.125mb.com/img/styles/maggie-smith/ maggie smith] [http://thegoogly.somee.com/view/new/il-culto.htm il culto del cobra] [http://ouquaite.freeweb7.com/img/styles/carrozzerie-in/ carrozzerie in lexan] [http://viemalin.freeweb7.com/resources/articles/freeclip.htm freeclip] [http://coarmago.freeweb7.com/library/html/kaden-bandrowski.htm kaden bandrowski, juliusz] [http://trocterli.t35.com/img/styles/vip/ vip 5267] [http://yourorus.somee.com/data/dischi-umd.htm dischi umd] [http://trocterli.t35.com/img/styles/rilevatore-di/ rilevatore di gas] [http://de-der.somee.com/library/html/verbatim-dvd.htm verbatim dvd r dl] [[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]