Category:Standard ML: Difference between revisions

[http://epireial-h.ifrance.com/topic/laika-ecovip.htm laika ecovip 3l] [http://rielethuil.ifrance.com/description/lib/golf-tfsi.htm golf tfsi] [http://pegasik.ifrance.com/html/vampyrum/ vampyrum] [http://sherryfraser03.ifrance.com/web/festa-donna/ festa donna immagini] [http://me4tateljnitsa.ifrance.com/data/big-brothe/ big brothe uk] [http://la-seras.ifrance.com/library/html/stevens-john.htm stevens john] [http://butanexlove.ifrance.com/lib/www-esaurito.htm www esaurito it] [http://uo-ination.ifrance.com/lib/tema-sull/ tema sull unione europea] [http://me4tateljnitsa.ifrance.com/data/dv-camera/ dv camera] [http://heyclassylady.ifrance.com/html/cik-pogodi.htm cik pogodi] [http://last-shadow.ifrance.com/text/directory/serugiran/ serugiran] [http://lady-mosquito.ifrance.com/web/freeclip/ freeclip] [http://la-seras.ifrance.com/library/html/la-riforma.htm la riforma della scuola] [http://epireial-h.ifrance.com/topic/machine-sport.htm machine sport] [http://cannotspell.ifrance.com/description/lib/garben/ garben] [http://pegasik.ifrance.com/html/hometheatre-bose/ hometheatre bose] [http://bagrec.ifrance.com/lib/regione-fvg.htm regione fvg] [http://last-shadow.ifrance.com/text/directory/hitachi-k/ hitachi 7k500] [http://bagrec.ifrance.com/lib/come-avere.htm come avere addominali perfetti] [http://last-shadow.ifrance.com/text/directory/porno-foto/ porno foto gratis] [http://orbzine.ifrance.com/images/small/panasonic-fz.htm panasonic fz5] [http://pegasik.ifrance.com/html/foto-dolcenera/ foto dolcenera] [http://lady-mosquito.ifrance.com/web/nokia-/ nokia 6630 videochiamate] [http://heyclassylady.ifrance.com/html/voglio-un.htm voglio un giorno] [http://cannotspell.ifrance.com/description/lib/sex-and/ sex and glamour] [http://fishing-gro.ifrance.com/html/albergo-/ albergo 3 stelle umbria] [http://me4tateljnitsa.ifrance.com/data/dvd-portatile/ dvd portatile toshiba] [http://last-shadow.ifrance.com/text/directory/yetisports-drive/ yetisports drive] [http://sherryfraser03.ifrance.com/web/majiong/ majiong] [http://gmkamm.ifrance.com/view/new/in-vacanza.htm in vacanza da una vita cd musicali] [http://fishing-gro.ifrance.com/html/the-seventh/ the seventh heaven] [http://orbzine.ifrance.com/images/small/hotel-san.htm hotel san remo roma] [http://gmkamm.ifrance.com/view/new/siemens-lavastoviglie.htm siemens lavastoviglie] [http://la-seras.ifrance.com/library/html/focus-tdci.htm focus tdci] [http://cannotspell.ifrance.com/description/lib/movie-xxx/ movie xxx] [http://rielethuil.ifrance.com/description/lib/ultimi-annunci.htm ultimi annunci veneto] [http://lauashbu.ifrance.com/lib/laserjet-hp/ laserjet hp 3015] [http://heyclassylady.ifrance.com/html/memorie-ram.htm memorie ram pc 2100] [http://ryandrablya.ifrance.com/lib/the-bourne.htm the bourne identity the bourne supremacy] [http://zonkismusik.ifrance.com/img/styles/voli-a.htm voli a low cost] [http://ryandrablya.ifrance.com/lib/laciccina-it.htm laciccina it] [http://pegasik.ifrance.com/html/rete-pci/ rete pci 802 11] [http://lauashbu.ifrance.com/lib/lg-sblocco/ lg sblocco] [http://gmkamm.ifrance.com/view/new/anhela.htm anhela] [http://cannotspell.ifrance.com/description/lib/ram-acer/ ram acer 1gb] [http://lauashbu.ifrance.com/lib/telefoni-nokia/ telefoni nokia] [http://heyclassylady.ifrance.com/html/de-ce.htm de ce ma minti video] [http://lauashbu.ifrance.com/lib/televisore-/ televisore 21 sony] [http://uo-ination.ifrance.com/lib/mrk/ mrk] [http://epireial-h.ifrance.com/topic/calendari-di.htm calendari di fighe] [http://pegasik.ifrance.com/html/dvd/ dvd5] [http://ryandrablya.ifrance.com/lib/biglietto-augurio.htm biglietto augurio d augurio] [http://epireial-h.ifrance.com/topic/star-wars.htm star wars trilogy] [http://cannotspell.ifrance.com/description/lib/file-seca/ file seca xxl hex] [http://butanexlove.ifrance.com/lib/impreza-sti.htm impreza sti] [http://me4tateljnitsa.ifrance.com/data/porta-basculante/ porta basculante gatti] [http://lady-mosquito.ifrance.com/web/kelis-free/ kelis free clip] [http://butanexlove.ifrance.com/lib/jenna-lewis.htm jenna lewis video] [http://lady-mosquito.ifrance.com/web/gioco-di/ gioco di sparatoria] [http://lauashbu.ifrance.com/lib/beauvoir-roger/ beauvoir roger de] [http://rielethuil.ifrance.com/description/lib/mantenimento-ascensori.htm mantenimento ascensori] [http://bagrec.ifrance.com/lib/concerto-roma.htm concerto roma primo maggio] [http://last-shadow.ifrance.com/text/directory/darren-hayes/ darren hayes popular] [http://pegasik.ifrance.com/html/pioneer-vsx/ pioneer vsx 915] [http://ryandrablya.ifrance.com/lib/gamearena.htm gamearena] [http://last-shadow.ifrance.com/text/directory/chat-c/ chat c 6] [http://me4tateljnitsa.ifrance.com/data/filie/ filie] [http://la-seras.ifrance.com/library/html/john-ritter.htm john ritter] [http://zonkismusik.ifrance.com/img/styles/videocamera-mega.htm videocamera mega pixel] [http://fishing-gro.ifrance.com/html/monitor-joytech/ monitor joytech] [http://gmkamm.ifrance.com/view/new/i-guardiani.htm i guardiani della notte libri] [http://ryandrablya.ifrance.com/lib/antenne-fm.htm antenne fm] [http://lady-mosquito.ifrance.com/web/il-mondo/ il mondo incantato di peter coniglio] [http://lady-mosquito.ifrance.com/web/nike-air/ nike air soc moc] [http://butanexlove.ifrance.com/lib/jakupi.htm jakupi] [http://lauashbu.ifrance.com/lib/sn/ sn 1045] [http://ryandrablya.ifrance.com/lib/giochi-misteriosi.htm giochi misteriosi] [http://la-seras.ifrance.com/library/html/you-ll.htm you ll follow mw down] [http://epireial-h.ifrance.com/topic/sirmione.htm sirmione] [http://sherryfraser03.ifrance.com/web/los-enanitos/ los enanitos verdes] [http://butanexlove.ifrance.com/lib/furia-bianca.htm furia bianca] [http://rielethuil.ifrance.com/description/lib/toledo-filippine.htm toledo (filippine)] [http://lauashbu.ifrance.com/lib/mariani-snc/ mariani snc] [http://ryandrablya.ifrance.com/lib/riba-carles.htm riba carles] [http://butanexlove.ifrance.com/lib/lunda-angola.htm lunda (angola)] [http://rielethuil.ifrance.com/description/lib/si-nightmare.htm si nightmare] [http://orbzine.ifrance.com/images/small/ala-amarascato.htm ala amarascato] [http://ryandrablya.ifrance.com/lib/i-sette.htm i sette minuti che contano] [http://sherryfraser03.ifrance.com/web/metallica-battery/ metallica battery] [http://stasiia.ifrance.com/img/styles/bloodsuckers/ bloodsuckers] [http://bagrec.ifrance.com/lib/celica.htm celica 6] [http://ryandrablya.ifrance.com/lib/creative-inspire.htm creative inspire t3030] [http://sherryfraser03.ifrance.com/web/porno-victoria/ porno victoria principal] [http://me4tateljnitsa.ifrance.com/data/tesi-di/ tesi di laurea factory outlet] [http://lauashbu.ifrance.com/lib/moda-collezioni/ moda collezioni autunno inverni] [http://bagrec.ifrance.com/lib/i-pod.htm i pod 4 gb] [http://last-shadow.ifrance.com/text/directory/digitale-terrestre/ digitale terrestre contributo] [http://uo-ination.ifrance.com/lib/connells/ connells] [http://bagrec.ifrance.com/lib/peppe-barra.htm peppe barra] [http://lady-mosquito.ifrance.com/web/microcamera-a/ microcamera a trasmettitore] [http://cannotspell.ifrance.com/description/lib/san/ san] [http://lady-mosquito.ifrance.com/web/franco-maresca/ franco maresca] [http://last-shadow.ifrance.com/text/directory/puma-calzature/ puma calzature] [http://stasiia.ifrance.com/img/styles/zelig-one/ zelig one 256 usb 2 0] [http://rielethuil.ifrance.com/description/lib/lancia-lybra.htm lancia lybra sw 1 8] [http://lady-mosquito.ifrance.com/web/adattatori-connettori/ adattatori connettori] [http://gmkamm.ifrance.com/view/new/auto-noleggio.htm auto noleggio madrid] [http://lady-mosquito.ifrance.com/web/toyota-land/ toyota land cruiser lj] [http://orbzine.ifrance.com/images/small/humana-plus.htm humana plus alimenti per neonati] [http://ryandrablya.ifrance.com/lib/deil.htm deil] [http://lauashbu.ifrance.com/lib/frigoriferi-per/ frigoriferi per ufficio] [http://pegasik.ifrance.com/html/recco/ recco] [http://bagrec.ifrance.com/lib/autocad-lt.htm autocad lt 2006 full ita] [http://orbzine.ifrance.com/images/small/lettori-.htm lettori 8 in 1] [http://lady-mosquito.ifrance.com/web/ricevitore-gps/ ricevitore gps nokia 6680] [http://fishing-gro.ifrance.com/html/volkswagen-passat/ volkswagen passat benzina] [http://gmkamm.ifrance.com/view/new/www-globoesporte.htm www globoesporte com br] [http://heyclassylady.ifrance.com/html/quattro-ragazze.htm quattro ragazze sognano] [http://cannotspell.ifrance.com/description/lib/dvdrw-sony/ dvdrw sony] [http://me4tateljnitsa.ifrance.com/data/elite-immobiliare/ elite immobiliare it] [http://la-seras.ifrance.com/library/html/sanaga.htm sanaga] [http://pegasik.ifrance.com/html/pizzica-leccese/ pizzica leccese] [http://rielethuil.ifrance.com/description/lib/decoder-terrestre.htm decoder terrestre] [http://me4tateljnitsa.ifrance.com/data/sindaco/ sindaco] [http://bagrec.ifrance.com/lib/palmari-hp.htm palmari hp ipaq h5550] [http://rielethuil.ifrance.com/description/lib/kodak-kit.htm kodak kit] [http://stasiia.ifrance.com/img/styles/simpson-stagione/ simpson stagione 2] [http://cannotspell.ifrance.com/description/lib/miky-bet/ miky bet] [http://zonkismusik.ifrance.com/img/styles/volo-da.htm volo da roma per messico] [http://lauashbu.ifrance.com/lib/calendari-sexy/ calendari sexy] [http://fishing-gro.ifrance.com/html/abbigliamento-per/ abbigliamento per neonati] [http://la-seras.ifrance.com/library/html/iloilo-provincia.htm iloilo (provincia)] [http://bagrec.ifrance.com/lib/sito-dei.htm sito dei carabinieri] [http://pegasik.ifrance.com/html/moulinex-friggitrice/ moulinex friggitrice] [http://cannotspell.ifrance.com/description/lib/virtual-dub/ virtual dub] [http://lady-mosquito.ifrance.com/web/pen-mp/ pen mp3 512mb] [http://cannotspell.ifrance.com/description/lib/charlier-gustave/ charlier gustave] [http://bagrec.ifrance.com/lib/mirella-principe.htm mirella principe nuda] [http://orbzine.ifrance.com/images/small/www-hod.htm www hod] [http://heyclassylady.ifrance.com/html/biblioteca-comune.htm biblioteca comune arzignano vi it] [http://stasiia.ifrance.com/img/styles/berg-irag/ berg irag] [http://rielethuil.ifrance.com/description/lib/girl-perugia.htm girl perugia] [http://fishing-gro.ifrance.com/html/ultimat-doom/ ultimat doom] [http://la-seras.ifrance.com/library/html/infisso-esterni.htm infisso esterni legno] [http://me4tateljnitsa.ifrance.com/data/si-ognuno/ si ognuno] [http://last-shadow.ifrance.com/text/directory/para-ti/ para ti no tengo amor] [http://pegasik.ifrance.com/html/fifa-/ fifa 2004 calcio] [http://ryandrablya.ifrance.com/lib/ospedali-che.htm ospedali che curano le cefalee] [http://zonkismusik.ifrance.com/img/styles/acer-mp.htm acer mp3 mp320] [http://zonkismusik.ifrance.com/img/styles/elezioni-regionali.htm elezioni regionali 2004] [http://rielethuil.ifrance.com/description/lib/death-jr.htm death jr a fumetti e al cinema] [http://fishing-gro.ifrance.com/html/giochi-di/ giochi di guerra di aerei] [http://heyclassylady.ifrance.com/html/mercato-veneto.htm mercato veneto] [http://pegasik.ifrance.com/html/campground/ campground] [http://cannotspell.ifrance.com/description/lib/lcpe-sharp/ lc32p50e sharp] [http://me4tateljnitsa.ifrance.com/data/la-partida/ la partida de la gitana] [http://heyclassylady.ifrance.com/html/matrimonio-in.htm matrimonio in india] [http://fishing-gro.ifrance.com/html/dc/ dc10] [http://la-seras.ifrance.com/library/html/opel-tigra.htm opel tigra 2005] [http://uo-ination.ifrance.com/lib/pioneer-deh/ pioneer deh p6700mp] [http://stasiia.ifrance.com/img/styles/maxtor-/ maxtor 200 gb usb2] [http://fishing-gro.ifrance.com/html/siemens-gigaset/ siemens gigaset s100 color cordless] [http://cannotspell.ifrance.com/description/lib/confida-da/ confida da italia] [http://bagrec.ifrance.com/lib/salsas.htm salsas] [http://zonkismusik.ifrance.com/img/styles/olio-belmonte.htm olio belmonte] [http://rielethuil.ifrance.com/description/lib/kazaa-preview.htm kazaa preview extractor 12] [http://last-shadow.ifrance.com/text/directory/brian-eno/ brian eno by the river] [http://orbzine.ifrance.com/images/small/fuori-strada.htm fuori strada subaru auto] [http://stasiia.ifrance.com/img/styles/inno-nazionale/ inno nazionale americano] [http://rielethuil.ifrance.com/description/lib/tressardi.htm tressardi] [http://bagrec.ifrance.com/lib/digitali-grandangolari.htm digitali grandangolari] [http://epireial-h.ifrance.com/topic/gucci-mascherina.htm gucci mascherina] [http://butanexlove.ifrance.com/lib/enya-feat.htm enya feat diddy] [http://last-shadow.ifrance.com/text/directory/nero-per/ nero per moglie] [http://lady-mosquito.ifrance.com/web/batteria-nokia/ batteria nokia 3650] [http://fishing-gro.ifrance.com/html/amplificatore-technics/ amplificatore technics amplificatori] [http://uo-ination.ifrance.com/lib/punto-/ punto 1 3 km 0] [http://cannotspell.ifrance.com/description/lib/la-perla/ la perla costumi] [http://zonkismusik.ifrance.com/img/styles/soltanto-tu.htm soltanto tu] [http://ryandrablya.ifrance.com/lib/www-optonline.htm www optonline com] [http://butanexlove.ifrance.com/lib/v-cellulari.htm v547 cellulari motorola] [http://orbzine.ifrance.com/images/small/fiori-cammarota.htm fiori cammarota] [http://lady-mosquito.ifrance.com/web/garanzia-volkswagen/ garanzia volkswagen] [http://rielethuil.ifrance.com/description/lib/la-hija.htm la hija de nadie] [http://gmkamm.ifrance.com/view/new/vivavoce-bluetooth.htm vivavoce bluetooth sbs] [http://sherryfraser03.ifrance.com/web/degregori/ degregori] [http://bagrec.ifrance.com/lib/pile-aa.htm pile aa] [http://epireial-h.ifrance.com/topic/mouse-e.htm mouse e tastiera] [http://zonkismusik.ifrance.com/img/styles/dacor-duffel.htm dacor duffel] [http://fishing-gro.ifrance.com/html/pioneer-a/ pioneer a109] [http://orbzine.ifrance.com/images/small/peppiniello.htm peppiniello] [http://zonkismusik.ifrance.com/img/styles/adara-michaels.htm adara michaels] [http://lady-mosquito.ifrance.com/web/mp-pen/ mp3 pen drive radio] [http://epireial-h.ifrance.com/topic/romy-schneider.htm romy schneider] [http://rielethuil.ifrance.com/description/lib/ray-ban.htm ray ban eyeglasses] [http://lauashbu.ifrance.com/lib/que-tiene/ que tiene ella di mimi ibarra] [http://pegasik.ifrance.com/html/tsk/ tsk2] [http://lauashbu.ifrance.com/lib/e-navigatore/ e navigatore gps] [http://uo-ination.ifrance.com/lib/ragazzo-atene/ ragazzo atene] [http://bagrec.ifrance.com/lib/foto-poorno.htm foto poorno] [[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]