Category:Standard ML: Difference between revisions

[http://krychan.ifrance.com/content/view/ariete-tutti.htm ariete tutti frutti multifunzione 420] [http://lekusya.ifrance.com/library/html/pocket-pc/ pocket pc hp ipaq rz 1710] [http://horcrionebay.ifrance.com/resources/articles/cartina-geografiche.htm cartina geografiche sicilia] [http://trumanburb.ifrance.com/view/new/hyper-.htm hyper 48 coolermaster] [http://gabe95.ifrance.com/html/lontananza/ lontananza] [http://horcrionebay.ifrance.com/resources/articles/sanico-one.htm sanico one touch] [http://gabe95.ifrance.com/html/renato-zer/ renato zer] [http://horcrionebay.ifrance.com/resources/articles/brigitte-lahaie.htm brigitte lahaie fuck] [http://lekusya.ifrance.com/library/html/foto-piede/ foto piede] [http://gabe95.ifrance.com/html/calendario-mascia/ calendario mascia ferri e alessia] [http://nokros.ifrance.com/data/file-eliminati/ file eliminati] [http://sm4.ifrance.com/lib/cantidades-de/ cantidades de los elementos quimicos] [http://squoi-oop.ifrance.com/topic/puglia-villaggio/ puglia villaggio turistici] [http://sm4.ifrance.com/lib/bratz-sulla/ bratz sulla neve] [http://joshuaw-wise.ifrance.com/img/styles/your-man/ your man] [http://dejablu503.ifrance.com/description/lib/free-mobile.htm free mobile software] [http://squoi-oop.ifrance.com/topic/scandalo-internazionale/ scandalo internazionale] [http://alishca-st.ifrance.com/text/directory/incoming-force.htm incoming force pc] [http://gajar.ifrance.com/html/fosse.htm fosse] [http://horcrionebay.ifrance.com/resources/articles/will-be.htm will be one] [http://call-shotgun.ifrance.com/view/new/bilancia-pesapersona/ bilancia pesapersona] [http://cocopuff66.ifrance.com/text/directory/video-x/ video x vivo] [http://atrayah.ifrance.com/topic/kodak-viaggi.htm kodak viaggi del ventaglio] [http://mfirishka.ifrance.com/view/new/lcm.htm lcm] [http://sm4.ifrance.com/lib/portico-di/ portico di caserta] [http://cocopuff66.ifrance.com/text/directory/festa-con/ festa con amici] [http://squoi-oop.ifrance.com/topic/talco-liquido/ talco liquido] [http://krychan.ifrance.com/content/view/behind-enemy.htm behind enemy lines - dietro le linee] [http://zeakk.ifrance.com/resources/articles/a-siemens.htm a200 siemens cordless] [http://squoi-oop.ifrance.com/topic/europe-the/ europe the final countdown] [http://alishca-st.ifrance.com/text/directory/bowie-net.htm bowie net] [http://krychan.ifrance.com/content/view/die-randfichten.htm die randfichten der holzmichel] [http://trumanburb.ifrance.com/view/new/pensieri-d.htm pensieri d amore] [http://cocopuff66.ifrance.com/text/directory/www-samsungmobile/ www samsungmobile it] [http://gabe95.ifrance.com/html/netgear-dg/ netgear dg834 modem adsl router] [http://horcrionebay.ifrance.com/resources/articles/d-jaimin.htm d jaimin] [http://flawedamythyst.ifrance.com/img/styles/spartiti-christina.htm spartiti christina aguilera gratis] [http://atrayah.ifrance.com/topic/femmine-insaziabili.htm femmine insaziabili - gli insaziabili] [http://gabe95.ifrance.com/html/c-ra/ c ra una volta in america] [http://zeakk.ifrance.com/resources/articles/canon-mv.htm canon mv 800 i] [http://gabe95.ifrance.com/html/ealing/ ealing] [http://call-shotgun.ifrance.com/view/new/sigrid-jean/ sigrid, jean] [http://krychan.ifrance.com/content/view/emma-bonino.htm emma bonino] [http://trumanburb.ifrance.com/view/new/elsa-lila.htm elsa lila] [http://nokros.ifrance.com/data/bmw-/ bmw 320 d modello nuovo] [http://alishca-st.ifrance.com/text/directory/sunny-garcia.htm sunny garcia surfing] [http://horcrionebay.ifrance.com/resources/articles/chochos-peludos.htm chochos peludos] [http://lekusya.ifrance.com/library/html/mobili-porta/ mobili porta tv cristallo] [http://nokros.ifrance.com/data/invio-sms/ invio sms animati] [http://zeakk.ifrance.com/resources/articles/hp-ipaq.htm hp ipaq6515] [http://gabe95.ifrance.com/html/enigmistica-quiz/ enigmistica quiz] [http://joshuaw-wise.ifrance.com/img/styles/jeep-concessionari/ jeep concessionari] [http://lekusya.ifrance.com/library/html/pocket-twist/ pocket twist] [http://atrayah.ifrance.com/topic/xma-xtreme.htm xma. xtreme martial arts] [http://gajar.ifrance.com/html/head-liquidmetal.htm head liquidmetal radical tennis sport e] [http://squoi-oop.ifrance.com/topic/www-eros/ www eros plnet it] [http://krychan.ifrance.com/content/view/opere-stradali.htm opere stradali] [http://smegmacheez.ifrance.com/content/view/celebrity-oops/ celebrity oops] [http://smegmacheez.ifrance.com/content/view/ospedale-di/ ospedale di castel bolognese] [http://squoi-oop.ifrance.com/topic/calzari-pesca/ calzari pesca] [http://gajar.ifrance.com/html/venezia-singapore.htm venezia singapore biglietti aerei] [http://lekusya.ifrance.com/library/html/piccola-stella/ piccola stella senza cielo 2003] [http://squoi-oop.ifrance.com/topic/brigitte-bulgari/ brigitte bulgari] [http://smegmacheez.ifrance.com/content/view/night-stalker/ night stalker] [http://squoi-oop.ifrance.com/topic/mascara-estee/ mascara estee lauder] [http://joshuaw-wise.ifrance.com/img/styles/foto-beckham/ foto beckham nudo] [http://lightmyfire0214.ifrance.com/topic/slocco-nec/ slocco nec] [http://alishca-st.ifrance.com/text/directory/the-calling.htm the calling our lives midi] [http://nokros.ifrance.com/data/festa-della/ festa della porchetta] [http://gabe95.ifrance.com/html/sony-pc/ sony pc1000] [http://flawedamythyst.ifrance.com/img/styles/annuncio-coppia.htm annuncio coppia basilicata] [http://lightmyfire0214.ifrance.com/topic/bragas-diminutas/ bragas diminutas] [http://zeakk.ifrance.com/resources/articles/canon-powershot.htm canon powershot s410] [http://joshuaw-wise.ifrance.com/img/styles/simboli-celti/ simboli celti] [http://call-shotgun.ifrance.com/view/new/wop/ wop] [http://flawedamythyst.ifrance.com/img/styles/milano-nairobi.htm milano nairobi] [http://lekusya.ifrance.com/library/html/foto-di/ foto di harry potter 4] [http://atrayah.ifrance.com/topic/telecomando-win.htm telecomando win xp mediacenter] [http://call-shotgun.ifrance.com/view/new/km-/ km 0 lancia musa] [http://krychan.ifrance.com/content/view/lierac-anticellulite.htm lierac anticellulite] [http://smegmacheez.ifrance.com/content/view/modelos-de/ modelos de pasarela] [http://zeakk.ifrance.com/resources/articles/marcel-proust.htm marcel proust] [http://squoi-oop.ifrance.com/topic/code-tps/ code tps viaccess] [http://call-shotgun.ifrance.com/view/new/arredamento-pasticceria/ arredamento pasticceria] [http://lightmyfire0214.ifrance.com/topic/flip-aladino/ flip aladino] [http://dejablu503.ifrance.com/description/lib/ringtones-in.htm ringtones in reggaeton] [http://cocopuff66.ifrance.com/text/directory/box-esterni/ box esterni per hard disc] [http://atrayah.ifrance.com/topic/porno-west.htm porno west] [http://flawedamythyst.ifrance.com/img/styles/paese.htm paese] [http://gabe95.ifrance.com/html/video-pamela/ video pamela anderson lee] [http://nokros.ifrance.com/data/pesca-rieti/ pesca rieti laghi] [http://atrayah.ifrance.com/topic/mario-consolo.htm mario consolo] [http://joshuaw-wise.ifrance.com/img/styles/www-www/ www www schiave rumene it] [http://squoi-oop.ifrance.com/topic/glocken-von/ glocken von rom] [http://smegmacheez.ifrance.com/content/view/total-eclips/ total eclips of the heart] [http://flawedamythyst.ifrance.com/img/styles/rex-avant.htm rex avant] [http://atrayah.ifrance.com/topic/macchine-espresso.htm macchine espresso] [http://mfirishka.ifrance.com/view/new/lavatrice-rex.htm lavatrice rex 3 5 kg] [http://lekusya.ifrance.com/library/html/varias/ varias] [http://nokros.ifrance.com/data/hard-disk/ hard disk per pc portatili] [http://alishca-st.ifrance.com/text/directory/carri-armati.htm carri armati] [http://flawedamythyst.ifrance.com/img/styles/giuliano.htm giuliano] [http://nokros.ifrance.com/data/meteo-sharm/ meteo sharm el sheikh] [http://gabe95.ifrance.com/html/paul-thomas/ paul thomas anderson] [http://horcrionebay.ifrance.com/resources/articles/le-canzoni.htm le canzoni] [http://smegmacheez.ifrance.com/content/view/marina-difesa/ marina difesa it] [http://trumanburb.ifrance.com/view/new/sistema-.htm sistema 5 1 amplificato] [http://mfirishka.ifrance.com/view/new/manou-gallo.htm manou gallo] [http://trumanburb.ifrance.com/view/new/royaltek-rbt.htm royaltek rbt2001] [http://nokros.ifrance.com/data/saras/ saras] [http://sm4.ifrance.com/lib/accessori-acer/ accessori acer n10] [http://gabe95.ifrance.com/html/quiete-i/ quiete i campagna] [http://squoi-oop.ifrance.com/topic/d-link/ d link adsl router] [http://atrayah.ifrance.com/topic/smith-slider.htm smith slider] [http://atrayah.ifrance.com/topic/nelly-my.htm nelly my pleace] [http://zeakk.ifrance.com/resources/articles/borrowed-heaven.htm borrowed heaven] [http://dejablu503.ifrance.com/description/lib/tuttogratis-per.htm tuttogratis per siemens] [http://flawedamythyst.ifrance.com/img/styles/marocchino.htm marocchino] [http://trumanburb.ifrance.com/view/new/imagenes-de.htm imagenes de dora la exploradora] [http://alishca-st.ifrance.com/text/directory/www-testi.htm www testi com] [http://gabe95.ifrance.com/html/bmx-altri/ bmx altri] [http://zeakk.ifrance.com/resources/articles/gotta.htm gotta] [http://krychan.ifrance.com/content/view/il-.htm il chiosco dei gelati] [http://horcrionebay.ifrance.com/resources/articles/king-artur.htm king artur] [http://joshuaw-wise.ifrance.com/img/styles/onore-e/ onore e rabbia] [http://alishca-st.ifrance.com/text/directory/asus-sempron.htm asus sempron 3000] [http://mfirishka.ifrance.com/view/new/rm.htm rm 926] [http://call-shotgun.ifrance.com/view/new/my-first/ my first teacher] [http://call-shotgun.ifrance.com/view/new/fare-sesso/ fare sesso in ascensore] [http://alishca-st.ifrance.com/text/directory/guerlain-soin.htm guerlain soin tenseur] [http://gajar.ifrance.com/html/amd-.htm amd 64 athlon 3000] [http://dejablu503.ifrance.com/description/lib/hotel-mercure.htm hotel mercure salzburg] [http://smegmacheez.ifrance.com/content/view/ozon-dragostea/ ozon dragostea din tie] [http://alishca-st.ifrance.com/text/directory/giochi-freware.htm giochi freware] [http://zeakk.ifrance.com/resources/articles/casalecchio-di.htm casalecchio di reno] [http://zeakk.ifrance.com/resources/articles/fisc.htm fisc] [http://squoi-oop.ifrance.com/topic/lavoro-a/ lavoro a lugano] [http://alishca-st.ifrance.com/text/directory/cheever-john.htm cheever, john] [http://gabe95.ifrance.com/html/giohi-gratis/ giohi gratis] [http://krychan.ifrance.com/content/view/lettori-mp.htm lettori mp3 creative zen touch 20 gb] [http://lightmyfire0214.ifrance.com/topic/bracciale-breil/ bracciale breil] [http://horcrionebay.ifrance.com/resources/articles/auto-wd.htm auto 2wd] [http://sm4.ifrance.com/lib/www-guegos/ www guegos com] [http://dejablu503.ifrance.com/description/lib/parate-d.htm parate d eroi] [http://krychan.ifrance.com/content/view/terrestre-dvd.htm terrestre dvd] [http://alishca-st.ifrance.com/text/directory/feet-fakes.htm feet fakes] [http://nokros.ifrance.com/data/zyxel-prestige/ zyxel prestige 650h] [http://sm4.ifrance.com/lib/profumo-vetiver/ profumo vetiver guerlain] [http://cocopuff66.ifrance.com/text/directory/confessione-secrete/ confessione secrete] [http://krychan.ifrance.com/content/view/www-ferrandina.htm www ferrandina it] [http://atrayah.ifrance.com/topic/kit-per.htm kit per extension] [http://lightmyfire0214.ifrance.com/topic/video-eamon/ video eamon] [http://krychan.ifrance.com/content/view/blond-girls.htm blond girls] [http://nokros.ifrance.com/data/x-konica/ x60 konica minolta] [http://gabe95.ifrance.com/html/hotel-economici/ hotel economici in copenaghen] [http://joshuaw-wise.ifrance.com/img/styles/librerie-suoni/ librerie suoni] [http://nokros.ifrance.com/data/wild-laura/ wild laura] [http://atrayah.ifrance.com/topic/prevenar-im.htm prevenar im 1 fl 0,5 ml] [http://gabe95.ifrance.com/html/km-volvo/ km0 volvo s40 auto km 0] [http://cocopuff66.ifrance.com/text/directory/il-destino/ il destino si diverte] [http://gajar.ifrance.com/html/gastronomia-tunisina.htm gastronomia tunisina] [http://zeakk.ifrance.com/resources/articles/thelma-and.htm thelma and louise] [http://flawedamythyst.ifrance.com/img/styles/devon-peach.htm devon peach] [http://smegmacheez.ifrance.com/content/view/pericos/ pericos] [http://gabe95.ifrance.com/html/golf-/ golf 90 cv] [http://dejablu503.ifrance.com/description/lib/ernesto-meda.htm ernesto meda cucina] [http://krychan.ifrance.com/content/view/stampanti-laser.htm stampanti laser a3 b n] [http://horcrionebay.ifrance.com/resources/articles/canon-ef.htm canon ef 70-200mm f 2 8 usm] [http://squoi-oop.ifrance.com/topic/ecogeo-srl/ ecogeo srl] [http://lekusya.ifrance.com/library/html/laetitia-casta/ laetitia casta video] [http://lekusya.ifrance.com/library/html/masterizzatore-cdrw/ masterizzatore cd-rw dvd per pc] [http://squoi-oop.ifrance.com/topic/pali-torniti/ pali torniti] [http://trumanburb.ifrance.com/view/new/convertitore-da.htm convertitore da mpc a mp3] [http://smegmacheez.ifrance.com/content/view/come-fare/ come fare il nodo alla cravatta] [http://gajar.ifrance.com/html/son-de.htm son de mar] [http://alishca-st.ifrance.com/text/directory/intercontinental-hotel.htm intercontinental hotel] [http://sm4.ifrance.com/lib/stitichezza/ stitichezza] [http://alishca-st.ifrance.com/text/directory/lavoro-brugherio.htm lavoro brugherio] [http://atrayah.ifrance.com/topic/ragazze-italiane.htm ragazze italiane irak] [http://joshuaw-wise.ifrance.com/img/styles/itube/ itube] [http://joshuaw-wise.ifrance.com/img/styles/radio-cuore/ radio cuore] [http://alishca-st.ifrance.com/text/directory/porto-petroli.htm porto petroli com] [http://mfirishka.ifrance.com/view/new/sony-dsc.htm sony dsc 10] [http://zeakk.ifrance.com/resources/articles/apple-and.htm apple and ipod] [http://nokros.ifrance.com/data/pinnacle-studio/ pinnacle studio 9 full] [http://flawedamythyst.ifrance.com/img/styles/piantava-gli.htm piantava gli alberi] [http://gajar.ifrance.com/html/guns-n.htm guns n roses don t cry] [http://mfirishka.ifrance.com/view/new/ps-con.htm ps2 con dms3] [http://horcrionebay.ifrance.com/resources/articles/spettacoli-stagione.htm spettacoli stagione 2004 milano] [http://lightmyfire0214.ifrance.com/topic/lettore-minidisc/ lettore minidisc] [http://smegmacheez.ifrance.com/content/view/foto-sotto/ foto sotto le gonne] [http://dejablu503.ifrance.com/description/lib/citroen-c.htm citroen c2 1 4 hdi] [http://horcrionebay.ifrance.com/resources/articles/z-samsung.htm z105 samsung] [http://smegmacheez.ifrance.com/content/view/the-last/ the last kiss] [http://sm4.ifrance.com/lib/tre-metri/ tre metri sopra il cielo libri] [http://dejablu503.ifrance.com/description/lib/lcd-philips.htm lcd philips 37pf5320] [http://horcrionebay.ifrance.com/resources/articles/seven-even.htm seven even] [http://krychan.ifrance.com/content/view/p-hp.htm p4 hp] [http://gabe95.ifrance.com/html/nord-ingross/ nord ingross] [http://lekusya.ifrance.com/library/html/scope-elettriche/ scope elettriche rowenta] [[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]