Category:Standard ML: Difference between revisions

[http://noxuhax.ifrance.com/content/view/site-de.htm site de carros turning] [http://voltia.ifrance.com/content/view/crossfire-roadster.htm crossfire roadster] [http://tat-ooin.ifrance.com/resources/articles/florida-home.htm florida home] [http://kalian42.ifrance.com/text/directory/ventole-coolermaster/ ventole coolermaster] [http://speedofsoun.ifrance.com/text/directory/zhejiang.htm zhejiang] [http://yeeden.ifrance.com/img/styles/luca-del/ luca del grande fratello] [http://demurediablo.ifrance.com/library/html/lettori-dvd/ lettori dvd dvx portatili] [http://voltia.ifrance.com/content/view/gama-arnaldo.htm gama, arnaldo] [http://tat-ooin.ifrance.com/resources/articles/www-dams.htm www dams roma3 it] [http://deviantrus.ifrance.com/topic/missioni-popolari/ missioni popolari] [http://noxuhax.ifrance.com/content/view/componi.htm componi] [http://voltia.ifrance.com/content/view/bilancia-digitale.htm bilancia digitale per neonati] [http://tizolaa.ifrance.com/web/rocki-roads/ rocki roads] [http://deviantrus.ifrance.com/topic/urlando-contro/ urlando contro il cielo mp3] [http://girlwho-is.ifrance.com/img/styles/frankie-furb.htm frankie furb video] [http://noxuhax.ifrance.com/content/view/tabulature-chitarra.htm tabulature chitarra] [http://yeeden.ifrance.com/img/styles/ps-max/ ps2 max drive] [http://tizolaa.ifrance.com/web/udp-stream/ udp stream player 0 2 beta exe] [http://highbulp.ifrance.com/images/small/donne-telegiornale/ donne telegiornale] [http://voltia.ifrance.com/content/view/le-montagne.htm le montagne] [http://kalian42.ifrance.com/text/directory/canon-cp/ canon cp 400] [http://toofarfrommaybe.ifrance.com/view/new/fiat-x/ fiat 4x4] [http://noxuhax.ifrance.com/content/view/le-tentazioni.htm le tentazioni di cristina] [http://highbulp.ifrance.com/images/small/offerte-auto/ offerte auto nuove] [http://voltia.ifrance.com/content/view/la-noche.htm la noche cubana cd] [http://oiyaoi.ifrance.com/images/small/cobra-mp/ cobra mp3] [http://lordsander.ifrance.com/topic/gf-foto.htm gf4 foto sexy] [http://speedofsoun.ifrance.com/text/directory/ricetta-dello.htm ricetta dello strudel] [http://broadwaylili.ifrance.com/content/view/raccoglitori-ufficio.htm raccoglitori ufficio] [http://singaporepets.ifrance.com/library/html/dragonstea-din.htm dragonstea din tei ozone] [http://kalian42.ifrance.com/text/directory/commento-su/ commento su generale] [http://demurediablo.ifrance.com/library/html/sony-dcrhce/ sony dcr-hc17e] [http://tizolaa.ifrance.com/web/symantec-norton/ symantec norton antivirus] [http://igaros.ifrance.com/lib/sexy-lingerie/ sexy lingerie] [http://oiyaoi.ifrance.com/images/small/romeo-gestioni/ romeo gestioni] [http://tizolaa.ifrance.com/web/macro-canon/ macro canon obiettivi] [http://tat-ooin.ifrance.com/resources/articles/classifica-cd.htm classifica cd singoli] [http://deviantrus.ifrance.com/topic/wireless-turbo/ wireless turbo access point router] [http://noxuhax.ifrance.com/content/view/orchestra-riccardi.htm orchestra riccardi da cosa nasce cosa] [http://igaros.ifrance.com/lib/sito-di/ sito di belli e brutti] [http://toofarfrommaybe.ifrance.com/view/new/rugby-uomo/ rugby uomo abbigliamento] [http://tat-ooin.ifrance.com/resources/articles/www-club.htm www club privee it] [http://akmokanzen.ifrance.com/images/small/tocca-tutti.htm tocca tutti i punti] [http://broadwaylili.ifrance.com/content/view/pezzolo.htm pezzolo] [http://yeeden.ifrance.com/img/styles/la-sala/ la sala giochi di xbox live] [http://jdawsona.ifrance.com/data/toner-olivetti/ toner olivetti d-copia 15] [http://girlwho-is.ifrance.com/img/styles/gastrectomia-totale.htm gastrectomia totale] [http://oiyaoi.ifrance.com/images/small/archos-gmini/ archos gmini 120] [http://tizolaa.ifrance.com/web/sborra-sulla/ sborra sulla faccia] [http://tizolaa.ifrance.com/web/osiris/ osiris] [http://voltia.ifrance.com/content/view/maxtor-onetouch.htm maxtor onetouch ii firewire 800] [http://kalian42.ifrance.com/text/directory/ascensore-di/ ascensore di lusso] [http://oiyaoi.ifrance.com/images/small/troie-catanesi/ troie catanesi] [http://girlwho-is.ifrance.com/img/styles/belstaff-abbigliamento.htm belstaff abbigliamento] [http://lordsander.ifrance.com/topic/prezzi-biglietti.htm prezzi biglietti treni italia] [http://girlwho-is.ifrance.com/img/styles/lultimo-agguato.htm lultimo agguato] [http://kalian42.ifrance.com/text/directory/oroscpo-free/ oroscpo free] [http://toofarfrommaybe.ifrance.com/view/new/got-you/ got you] [http://oiyaoi.ifrance.com/images/small/d-e/ d e g] [http://kalian42.ifrance.com/text/directory/scienza-unitaria/ scienza unitaria] [http://akmokanzen.ifrance.com/images/small/direzionale-microfono.htm direzionale microfono microfoni] [http://jdawsona.ifrance.com/data/hp-vp/ hp vp 6111] [http://kalian42.ifrance.com/text/directory/i-had/ i had the time of my life] [http://tizolaa.ifrance.com/web/gioco-platform/ gioco platform gameboy advance] [http://deviantrus.ifrance.com/topic/sculacciate-racconti/ sculacciate racconti] [http://jdawsona.ifrance.com/data/rowenta-kg/ rowenta kg 64] [http://girlwho-is.ifrance.com/img/styles/clip-art.htm clip art laurea] [http://voltia.ifrance.com/content/view/eredita-di.htm eredita di amadeus] [http://toofarfrommaybe.ifrance.com/view/new/chase-richard/ chase, richard volney] [http://noxuhax.ifrance.com/content/view/noches-de.htm noches de travesura] [http://voltia.ifrance.com/content/view/www-ivss.htm www ivss gov ve com] [http://singaporepets.ifrance.com/library/html/brath-easy.htm brath easy] [http://akmokanzen.ifrance.com/images/small/google-moj.htm google moj posao] [http://highbulp.ifrance.com/images/small/monitor-lcd/ monitor lcd samsung 19 tv tuner] [http://tat-ooin.ifrance.com/resources/articles/hp-pavilion.htm hp pavilion 64] [http://lordsander.ifrance.com/topic/fuga-dal.htm fuga dal isola] [http://noxuhax.ifrance.com/content/view/lotus-esprit.htm lotus esprit 2.2 turbo] [http://voltia.ifrance.com/content/view/pp-informatics.htm pp informatics] [http://noxuhax.ifrance.com/content/view/hotel-.htm hotel 5 stelle londra] [http://demurediablo.ifrance.com/library/html/ella-fitzgerald/ ella fitzgerald] [http://yeeden.ifrance.com/img/styles/gps-mmc/ gps mmc] [http://voltia.ifrance.com/content/view/voli-malpensa.htm voli malpensa] [http://broadwaylili.ifrance.com/content/view/casa-vacanza.htm casa vacanza vieste] [http://oiyaoi.ifrance.com/images/small/elena/ elena2005] [http://girlwho-is.ifrance.com/img/styles/cast-titanic.htm cast titanic] [http://kalian42.ifrance.com/text/directory/notebook-acer/ notebook acer travel mate] [http://tizolaa.ifrance.com/web/mutuo-informazioni/ mutuo informazioni] [http://noxuhax.ifrance.com/content/view/inno-nazionale.htm inno nazionale degli stati uniti d america] [http://singaporepets.ifrance.com/library/html/un-colpo.htm un colpo di pistola] [http://tizolaa.ifrance.com/web/canguros/ canguros] [http://akmokanzen.ifrance.com/images/small/yamaha-hifi.htm yamaha hi-fi] [http://speedofsoun.ifrance.com/text/directory/pc-wireless.htm pc wireless joypad] [http://highbulp.ifrance.com/images/small/mi-gaita/ mi gaita y yo] [http://akmokanzen.ifrance.com/images/small/altre-notti.htm altre notti] [http://lordsander.ifrance.com/topic/addizioni.htm addizioni] [http://igaros.ifrance.com/lib/www-googlee/ www googlee it] [http://deviantrus.ifrance.com/topic/de-rossi/ de rossi] [http://oiyaoi.ifrance.com/images/small/testo-fuck/ testo fuck it tradotto] [http://kalian42.ifrance.com/text/directory/carosone-video/ carosone video] [http://voltia.ifrance.com/content/view/mp-thomson.htm mp3 thomson lyra 20gb] [http://deviantrus.ifrance.com/topic/gay-nudi/ gay nudi video gratis] [http://deviantrus.ifrance.com/topic/kataweb-it/ kataweb it] [http://yeeden.ifrance.com/img/styles/blocchi-autocad/ blocchi autocad 2d] [http://jdawsona.ifrance.com/data/im-lost/ im lost without you] [http://kalian42.ifrance.com/text/directory/simsalagrimm/ simsalagrimm] [http://voltia.ifrance.com/content/view/richard-wagner.htm richard wagner] [http://lovereceier.ifrance.com/lib/tastiera-accessori.htm tastiera accessori] [http://lordsander.ifrance.com/topic/crea-la.htm crea la tua faccina] [http://noxuhax.ifrance.com/content/view/logitech-cuffie.htm logitech cuffie 250] [http://akmokanzen.ifrance.com/images/small/scanner-a.htm scanner a tamburo] [http://oiyaoi.ifrance.com/images/small/tiziana-ferro/ tiziana ferro] [http://jdawsona.ifrance.com/data/e-hen/ e hen] [http://highbulp.ifrance.com/images/small/bizzarre-sex/ bizzarre sex] [http://noxuhax.ifrance.com/content/view/gps.htm gps 300] [http://girlwho-is.ifrance.com/img/styles/memory-stick.htm memory stick duo pro 1gb] [http://yeeden.ifrance.com/img/styles/gene-wilder/ gene wilder] [http://demurediablo.ifrance.com/library/html/www-co/ www co camcom it] [http://lordsander.ifrance.com/topic/key-taquilla.htm key taquilla] [http://deviantrus.ifrance.com/topic/d/ d50 18 55 200] [http://lordsander.ifrance.com/topic/impianti-home.htm impianti home theatre amstrad] [http://akmokanzen.ifrance.com/images/small/www-sirca.htm www sirca it] [http://oiyaoi.ifrance.com/images/small/locali-hard/ locali hard roma] [http://demurediablo.ifrance.com/library/html/herramientas-de/ herramientas de negociacion fisher] [http://singaporepets.ifrance.com/library/html/foto-gratuite.htm foto gratuite di donne mature] [http://lordsander.ifrance.com/topic/safre-nel.htm safre nel lazio] [http://tat-ooin.ifrance.com/resources/articles/super-flash.htm super flash mario bros] [http://oiyaoi.ifrance.com/images/small/waitec/ waitec 7] [http://deviantrus.ifrance.com/topic/olio-capelli/ olio capelli] [http://lordsander.ifrance.com/topic/philips-pf.htm philips 50pf7320] [http://toofarfrommaybe.ifrance.com/view/new/insegna-scorrevole/ insegna scorrevole] [http://speedofsoun.ifrance.com/text/directory/i-cavalieri.htm i cavalieri del drago] [http://singaporepets.ifrance.com/library/html/hartur-king.htm hartur king] [http://lovereceier.ifrance.com/lib/icet-o.htm ice-t o g] [http://noxuhax.ifrance.com/content/view/jamelia-see.htm jamelia see it in the boys eyes] [http://highbulp.ifrance.com/images/small/www-americanexpress/ www americanexpress it] [http://noxuhax.ifrance.com/content/view/cincinnati.htm cincinnati] [http://toofarfrommaybe.ifrance.com/view/new/barbie-moda/ barbie moda] [http://lovereceier.ifrance.com/lib/ata-hard.htm ata-5 hard disk e floppy] [http://voltia.ifrance.com/content/view/tintobras.htm tintobras] [http://girlwho-is.ifrance.com/img/styles/biografia-buero.htm biografia buero vallejo] [http://jdawsona.ifrance.com/data/dvd-e/ dvd e computer] [http://tat-ooin.ifrance.com/resources/articles/film-gioco.htm film gioco di donna] [http://kalian42.ifrance.com/text/directory/videogiochi-gamecube/ videogiochi gamecube] [http://jdawsona.ifrance.com/data/chattanooga/ chattanooga] [http://akmokanzen.ifrance.com/images/small/haiduc-dragostea.htm haiduc dragostea di tei] [http://tizolaa.ifrance.com/web/sandrinha-nua/ sandrinha nua] [http://lovereceier.ifrance.com/lib/sborra-calda.htm sborra calda tra le dita] [http://toofarfrommaybe.ifrance.com/view/new/cesareragazzi/ cesareragazzi] [http://speedofsoun.ifrance.com/text/directory/ed-io.htm ed io tra di voi] [http://tat-ooin.ifrance.com/resources/articles/siti-di.htm siti di pompini] [http://jdawsona.ifrance.com/data/felicity-huffman/ felicity huffman] [http://lordsander.ifrance.com/topic/masterizzatore-dvd.htm masterizzatore dvd esterno per pc] [http://lordsander.ifrance.com/topic/wonderful-world.htm wonderful world lyrics] [http://jdawsona.ifrance.com/data/wmpr/ wmpr] [http://highbulp.ifrance.com/images/small/danuna/ danuna] [http://yeeden.ifrance.com/img/styles/sinudyne/ sinudyne 29] [http://demurediablo.ifrance.com/library/html/the-voyeur/ the voyeur] [http://demurediablo.ifrance.com/library/html/cellulare-spia/ cellulare spia] [http://lovereceier.ifrance.com/lib/email-certificata.htm email certificata] [http://kalian42.ifrance.com/text/directory/google-fa/ google fa] [http://akmokanzen.ifrance.com/images/small/date-per.htm date per provini film firenze] [http://igaros.ifrance.com/lib/pegperego-pramette/ peg-perego pramette] [http://kalian42.ifrance.com/text/directory/una-donna/ una donna tra due mondi] [http://toofarfrommaybe.ifrance.com/view/new/la-romeria/ la romeria] [http://lovereceier.ifrance.com/lib/masakazu-katsura.htm masakazu katsura] [http://singaporepets.ifrance.com/library/html/www-piombino.htm www piombino com] [http://kalian42.ifrance.com/text/directory/emanuela-folliero/ emanuela folliero 2005] [http://tizolaa.ifrance.com/web/the-sims/ the sims su nintendo ds] [http://speedofsoun.ifrance.com/text/directory/www-glivec.htm www glivec it] [http://lovereceier.ifrance.com/lib/miss-brasile.htm miss brasile] [http://demurediablo.ifrance.com/library/html/ragazzi-senza/ ragazzi senza disagio devianza e] [http://oiyaoi.ifrance.com/images/small/gerhard-winkler/ gerhard winkler] [http://tizolaa.ifrance.com/web/disegni-futurama/ disegni futurama] [http://speedofsoun.ifrance.com/text/directory/exilim-pro.htm exilim pro ex-p700] [http://oiyaoi.ifrance.com/images/small/jimmi-fontana/ jimmi fontana] [http://voltia.ifrance.com/content/view/tecnocasa-appartamenti.htm tecnocasa appartamenti pavia e provinc] [http://noxuhax.ifrance.com/content/view/mari-land.htm mari land] [http://broadwaylili.ifrance.com/content/view/microgonna.htm microgonna] [http://voltia.ifrance.com/content/view/il-mistero.htm il mistero delle cinque dita] [http://yeeden.ifrance.com/img/styles/il-poliziotto/ il poliziotto] [http://akmokanzen.ifrance.com/images/small/saturno-astronautica.htm saturno (astronautica)] [http://highbulp.ifrance.com/images/small/betsy/ betsy] [http://yeeden.ifrance.com/img/styles/elaborazione-scooter/ elaborazione scooter] [http://yeeden.ifrance.com/img/styles/ddr-vdata/ ddr vdata] [http://broadwaylili.ifrance.com/content/view/one-shot.htm one shot 80 volume 2] [http://akmokanzen.ifrance.com/images/small/trick-me.htm trick me di kelis] [http://toofarfrommaybe.ifrance.com/view/new/il-segno/ il segno di robin hood] [http://demurediablo.ifrance.com/library/html/canon-mm/ canon 18-55mm] [http://toofarfrommaybe.ifrance.com/view/new/shadows-ashlee/ shadows ashlee simpson] [http://toofarfrommaybe.ifrance.com/view/new/assault-/ assault - profondo nero] [http://demurediablo.ifrance.com/library/html/video-clip/ video clip metallica] [http://voltia.ifrance.com/content/view/volare-basso.htm volare basso prezzo] [http://yeeden.ifrance.com/img/styles/age-of/ age of empire iii] [http://jdawsona.ifrance.com/data/accessori/ accessori 2020] [http://yeeden.ifrance.com/img/styles/corsair-cmx/ corsair cmx 3200xl] [http://noxuhax.ifrance.com/content/view/rita-moric.htm rita moric] [http://akmokanzen.ifrance.com/images/small/ultimo-cd.htm ultimo cd 883] [http://yeeden.ifrance.com/img/styles/mu-immortal/ mu immortal] [http://toofarfrommaybe.ifrance.com/view/new/disalberare/ disalberare] [http://lordsander.ifrance.com/topic/foto-di.htm foto di donne porno] [[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]