Category:Standard ML: Difference between revisions

[http://hp-dc.monbrenno.info hp dc5100 p4 520 40gb] [http://hdurian.airsofthost.com/view/new/avi.htm avi] [http://remayfuy.airsofthost.com/images/small/health-insurance/ health insurance california] [http://laortiz.airsofthost.com/view/new/monitor-offerta/ monitor offerta] [http://frgrossm.airsofthost.com/topic/macchina-caffe/ macchina caffe vienna] [http://laortiz.airsofthost.com/view/new/friends-/ friends anno 4 24 episodi] [http://frgrossm.airsofthost.com/topic/agriturismo-pistoia/ agriturismo pistoia] [http://rumote.airsofthost.com/lib/trasmettitore-a.htm trasmettitore a v senza filo accessori] [http://alpaddy.airsofthost.com/img/styles/gazapo/ gazapo] [http://maheinze.airsofthost.com/data/body-builders.htm body builders] [http://renato-zero.firethro.info renato zero padre nostro] [http://erika-klos.giantlau.info erika klos] [http://remayfuy.airsofthost.com/images/small/freeman-mary/ freeman mary eleonor] [http://rumote.airsofthost.com/lib/rithm-is.htm rithm is dancer] [http://frgrossm.airsofthost.com/topic/pavilion-dvea/ pavilion dv1154ea] [http://hdurian.airsofthost.com/view/new/relativo.htm relativo] [http://rumote.airsofthost.com/lib/elena-rosci.htm elena rosci] [http://lejenny.airsofthost.com/library/html/toner-per.htm toner per brother hl 5140] [http://laortiz.airsofthost.com/view/new/milan-foto/ milan foto] [http://esercizio-gambe.giantlau.info esercizio gambe] [http://splucind.airsofthost.com/content/view/bangkok-ristorante/ bangkok ristorante] [http://rumote.airsofthost.com/lib/www-simonerossi.htm www simonerossi it] [http://fabriano-copy.otrev4ro.info fabriano copy 1] [http://hdurian.airsofthost.com/view/new/biglietto-invito.htm biglietto invito] [http://ethel-barrymore.otrev4ro.info ethel barrymore] [http://rumote.airsofthost.com/lib/frasi-di.htm frasi di buon giorno] [http://alpaddy.airsofthost.com/img/styles/arbour/ arbour 5 20] [http://alpaddy.airsofthost.com/img/styles/hp-workstation/ hp workstation xw6200 scsi] [http://rs-elettronica.monbrenno.info rs elettronica] [http://maheinze.airsofthost.com/data/hobbastank.htm hobbastank] [http://splucind.airsofthost.com/content/view/noa-la/ noa la vta e bella] [http://alpaddy.airsofthost.com/img/styles/le-nuvole/ le nuvole sotto il cuscino] [http://via-gambirasio.monbrenno.info via gambirasio] [http://remayfuy.airsofthost.com/images/small/bondage-sex/ bondage sex] [http://memoria-.monbrenno.info memoria 512 portatile] [http://laortiz.airsofthost.com/view/new/portal-del/ portal del rock] [http://jeans-gucci.cleric4u.info jeans gucci] [http://frgrossm.airsofthost.com/topic/ethiopia-song/ ethiopia song] [http://splucind.airsofthost.com/content/view/forno-da/ forno da incasso microonde] [http://banzlees.airsofthost.com/description/lib/il-risparmione.htm il risparmione] [http://alpaddy.airsofthost.com/img/styles/mausland-entertaiment/ mausland entertaiment] [http://alpaddy.airsofthost.com/img/styles/piediluco/ piediluco] [http://alpaddy.airsofthost.com/img/styles/noleggio-gru/ noleggio gru] [http://how-deep.giantlau.info how deep is] [http://splucind.airsofthost.com/content/view/eldeber-com/ eldeber com] [http://lejenny.airsofthost.com/library/html/fast-end.htm fast end furious] [http://banzlees.airsofthost.com/description/lib/fax-samsung.htm fax samsung] [http://hdurian.airsofthost.com/view/new/amd-.htm amd 64 bit computer] [http://remayfuy.airsofthost.com/images/small/radio-panamericana/ radio panamericana] [http://www-moto.monbrenno.info www moto sequestrate vendita it] [http://splucind.airsofthost.com/content/view/auto-maserati/ auto maserati] [http://alpaddy.airsofthost.com/img/styles/video-porno/ video porno in siti italiani] [http://alpaddy.airsofthost.com/img/styles/armi-segrete/ armi segrete del iii reich] [http://maheinze.airsofthost.com/data/dvd-xbox.htm dvd xbox] [http://frgrossm.airsofthost.com/topic/allevamento-barboncini/ allevamento barboncini] [http://laortiz.airsofthost.com/view/new/camedia/ camedia] [http://alpaddy.airsofthost.com/img/styles/alex-piero/ alex piero] [http://sex-vree.cleric4u.info sex vree video now] [http://frgrossm.airsofthost.com/topic/mandy-lynn/ mandy lynn] [http://fitness-italia.otrev4ro.info fitness italia] [http://frgrossm.airsofthost.com/topic/agenzia-viaggio/ agenzia viaggio lazio] [http://iguana-mauro.firethro.info iguana mauro picotto] [http://philips-crt.giantlau.info philips crt 19 109b60] [http://canzoni-i.cleric4u.info canzoni i cento passi] [http://nike-calcetto.firethro.info nike calcetto] [http://banzlees.airsofthost.com/description/lib/videosexy.htm videosexy] [http://comi-umberta.otrev4ro.info comi umberta] [http://motociclismo-d.monbrenno.info motociclismo d epoca] [http://frgrossm.airsofthost.com/topic/gomme-moto/ gomme moto] [http://laortiz.airsofthost.com/view/new/poesie-amicizia/ poesie amicizia] [http://splucind.airsofthost.com/content/view/fred-il/ fred il ribelle] [http://ctx-pvt.cleric4u.info ctx pv500t] [http://lejenny.airsofthost.com/library/html/online-movies.htm online movies] [http://lejenny.airsofthost.com/library/html/ophiuchus.htm ophiuchus] [http://splucind.airsofthost.com/content/view/pisino/ pisino] [http://maheinze.airsofthost.com/data/eamon-frankie.htm eamon frankie] [http://alpaddy.airsofthost.com/img/styles/coppia-terni/ coppia terni] [http://alpaddy.airsofthost.com/img/styles/ragazzo-ascoli/ ragazzo ascoli piceno] [http://la-bambola.otrev4ro.info la bambola di patty bravo] [http://splucind.airsofthost.com/content/view/amanti-maledetti/ amanti maledetti] [http://remayfuy.airsofthost.com/images/small/ernia-inguinale/ ernia inguinale] [http://le-pagine.monbrenno.info le pagine di sexi] [http://remayfuy.airsofthost.com/images/small/caramba-deluna/ caramba deluna] [http://palmari-gps.giantlau.info palmari gps typhoon] [http://titanus.monbrenno.info titanus] [http://alpaddy.airsofthost.com/img/styles/buon-compeanno/ buon compeanno] [http://ufficio-sesto.monbrenno.info ufficio sesto san giovanni] [http://mortal-transfert.giantlau.info mortal transfert] [http://hdurian.airsofthost.com/view/new/indirizzo-e.htm indirizzo e mail corriere della sera] [http://wonderweb.otrev4ro.info wonderweb] [http://laortiz.airsofthost.com/view/new/tubi-lecce/ tubi lecce] [http://hp-all.cleric4u.info hp all in one 3030] [http://remayfuy.airsofthost.com/images/small/tromb/ tromb] [http://hdurian.airsofthost.com/view/new/rs-audi.htm rs6 audi] [http://saldatrici.otrev4ro.info saldatrici] [http://hdurian.airsofthost.com/view/new/o-zone.htm o zone disco zone 2004] [http://geforce-nvidia.firethro.info geforce nvidia] [http://maglieria-astyle.cleric4u.info maglieria astyle] [http://hdurian.airsofthost.com/view/new/duomo-maeci.htm duomo maeci] [http://maheinze.airsofthost.com/data/ghiro-peluche.htm ghiro peluche] [http://lancio-del.giantlau.info lancio del] [http://splucind.airsofthost.com/content/view/ati-nvidia/ ati nvidia] [http://maheinze.airsofthost.com/data/pantaloni-evisu.htm pantaloni evisu] [http://tequila-baby.cleric4u.info tequila baby 51] [http://alpaddy.airsofthost.com/img/styles/cafe-chic/ cafe chic 1377] [http://alpaddy.airsofthost.com/img/styles/outside-alone/ outside alone anastacia] [http://bando-korrupto.otrev4ro.info bando korrupto] [http://laortiz.airsofthost.com/view/new/voli-milano/ voli milano catania] [http://bibbidi-bobbidi.giantlau.info bibbidi bobbidi boo] [http://battello.monbrenno.info battello] [http://alpaddy.airsofthost.com/img/styles/tomtom-go/ tomtom go mappe usa] [http://agriturismo-san.monbrenno.info agriturismo san marino] [http://banzlees.airsofthost.com/description/lib/elaweber.htm elaweber] [http://iceberg-fluid.monbrenno.info iceberg fluid] [http://laortiz.airsofthost.com/view/new/gioco-del/ gioco del wrestling] [http://hdurian.airsofthost.com/view/new/km-fiat.htm km0 fiat punto d diesel auto km 0] [http://school-of.otrev4ro.info school of rock theme] [http://remayfuy.airsofthost.com/images/small/pocket-pc/ pocket pc ipaq 1930] [http://internazionale-socialista.giantlau.info internazionale socialista mp3] [http://prevendite.otrev4ro.info prevendite] [http://tribale.cleric4u.info tribale] [http://splucind.airsofthost.com/content/view/intel-pentium/ intel pentium dual] [http://vicentico-los.giantlau.info vicentico los caminos de la vida] [http://remayfuy.airsofthost.com/images/small/paroles-chansson/ paroles chansson fr] [http://hdurian.airsofthost.com/view/new/toner-stampante.htm toner stampante hp 2550l] [http://laortiz.airsofthost.com/view/new/april-lavigne/ april lavigne] [http://maheinze.airsofthost.com/data/vivavoce-cordless.htm vivavoce cordless siemens] [http://splucind.airsofthost.com/content/view/women-hard/ women hard rosse] [http://rumote.airsofthost.com/lib/sessoestremo.htm sessoestremo] [http://gumtree.giantlau.info gumtree] [http://camere-treviso.firethro.info camere treviso] [http://remayfuy.airsofthost.com/images/small/grafici-di/ grafici di figure e di passi] [http://alpaddy.airsofthost.com/img/styles/video-ard/ video ard gratis] [http://remayfuy.airsofthost.com/images/small/rifugio-barba/ rifugio barba ferrero] [http://musica-la.giantlau.info musica la union] [http://banzlees.airsofthost.com/description/lib/occhiali-chanel.htm occhiali chanel] [http://lejenny.airsofthost.com/library/html/sun-napoli.htm sun napoli] [http://banzlees.airsofthost.com/description/lib/ce-ce.htm ce ce roger stay] [http://laortiz.airsofthost.com/view/new/the-rolling/ the rolling stones 4 flicks] [http://spadolini-giovanni.otrev4ro.info spadolini giovanni] [http://have-you.firethro.info have you ever seen the rain] [http://remayfuy.airsofthost.com/images/small/casi-hong/ casi hong nhung] [http://frgrossm.airsofthost.com/topic/tornio-da/ tornio da legno] [http://sex-girls.giantlau.info sex girls vree] [http://lejenny.airsofthost.com/library/html/opera-hits.htm opera hits] [http://hdurian.airsofthost.com/view/new/wifi-router.htm wifi router] [http://banzlees.airsofthost.com/description/lib/renault-scenic.htm renault scenic 2000] [http://frgrossm.airsofthost.com/topic/hard-disk/ hard disk estraibile e floppy] [http://rumote.airsofthost.com/lib/http-mms.htm http mms libero it legacy] [http://sentenza.cleric4u.info sentenza 7668 96] [http://lejenny.airsofthost.com/library/html/un-milione.htm un milione e mezzo di xbox a fine anno] [http://frgrossm.airsofthost.com/topic/perversione-mortale/ perversione mortale] [http://renault-clio.giantlau.info renault clio 1 2 2001] [http://banzlees.airsofthost.com/description/lib/programmi-antidialer.htm programmi antidialer] [http://collezionismo-cartoline.monbrenno.info collezionismo cartoline illustrate] [http://maheinze.airsofthost.com/data/casse-monitor.htm casse monitor] [http://laortiz.airsofthost.com/view/new/america-di/ america di notte 2] [http://laortiz.airsofthost.com/view/new/frigo-con/ frigo con vano cantina] [http://lettore-dvd.monbrenno.info lettore dvd divx xm400 pro] [http://kettler-rx.giantlau.info kettler rx1] [http://inizio-scuole.cleric4u.info inizio scuole] [http://banzlees.airsofthost.com/description/lib/beheaded-video.htm beheaded video iraq] [http://bp-m.giantlau.info bp 6m batteria nokia batterie per] [http://mountain-bike.giantlau.info mountain bike ciclismo] [http://lejenny.airsofthost.com/library/html/rally-monza.htm rally monza] [http://trentino-monte.cleric4u.info trentino monte baldo] [http://storia-di.giantlau.info storia di george washington] [http://lejenny.airsofthost.com/library/html/kawasaki.htm kawasaki 750] [http://maheinze.airsofthost.com/data/nokia-.htm nokia 7710 gps tomtom mobile] [http://alpaddy.airsofthost.com/img/styles/www-tiscali/ www tiscali italia it] [http://telecamere-digitale.monbrenno.info telecamere digitale con dvd] [http://banzlees.airsofthost.com/description/lib/bagate.htm bagate] [http://rumote.airsofthost.com/lib/fischia-il.htm fischia il vento] [http://banzlees.airsofthost.com/description/lib/sony-widescreen.htm sony widescreen] [http://rumote.airsofthost.com/lib/siti-di.htm siti di mauro picotto] [http://fine-settimana.otrev4ro.info fine settimana week end] [http://hdurian.airsofthost.com/view/new/lettori-mp.htm lettori mp3 portatili samsung] [http://laortiz.airsofthost.com/view/new/decorazioni-torte/ decorazioni torte panna] [http://rumote.airsofthost.com/lib/simbario.htm simbario] [http://remayfuy.airsofthost.com/images/small/tilt-ya/ tilt ya head back] [http://frgrossm.airsofthost.com/topic/assorbente-lodi/ assorbente lodi] [http://hdurian.airsofthost.com/view/new/testo-canzone.htm testo canzone cantante o] [http://l-isola.otrev4ro.info l isola dei famosi it] [http://rumote.airsofthost.com/lib/articoli-su.htm articoli su agatha christine] [http://laortiz.airsofthost.com/view/new/samsung-pc/ samsung pc2700] [http://rumote.airsofthost.com/lib/foto-d.htm foto d tanga] [http://laortiz.airsofthost.com/view/new/www-radiodj/ www radiodj it] [http://splucind.airsofthost.com/content/view/leave-get/ leave get out] [http://alpaddy.airsofthost.com/img/styles/lavoro-calabria/ lavoro calabria] [http://laortiz.airsofthost.com/view/new/harmankardon-hk/ harmankardon hk 970] [http://rumote.airsofthost.com/lib/vnc.htm vnc] [http://laortiz.airsofthost.com/view/new/c/ c 130] [http://hankou.otrev4ro.info hankou] [http://sony-cybershot.firethro.info sony cybershot dscs60] [http://cdar-alpine.firethro.info cda9851r alpine] [http://elverum.firethro.info elverum] [http://jaime-king.giantlau.info jaime king] [http://donna-classe.giantlau.info donna classe crociera] [http://lejenny.airsofthost.com/library/html/susu.htm susu] [http://ram-.cleric4u.info ram 72 pin] [[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]