Category:Standard ML: Difference between revisions

[http://milano.rigour.info/home-teatre.htm home teatre radio] [http://italy.rigour.info/blog/fatal-tragedy.htm fatal tragedy dream theater] [http://milano.rigour.info/the-bolshoi.htm the bolshoi ballet] [http://note.rigour.info/content/view/golf-sportline.htm golf sportline km 0] [http://web.rigour.info/bloome/ bloome] [http://online.rigour.info/bensley/ bensley] [http://all.rigour.info/stampanti-epson/ stampanti epson picture mate] [http://blog.rigour.info/web/scandalo-blaze/ scandalo blaze] [http://it.rigour.info/topic/pactum/ pactum] [http://web.rigour.info/grandes-tetas/ grandes tetas] [http://note.rigour.info/content/view/gps-garmin.htm gps garmin 2620] [http://guest.rigour.info/library/html/uefa-champios/ uefa champios league] [http://milano.rigour.info/nike-r.htm nike r4 shox] [http://down.rigour.info/blog/locked-up.htm locked up] [http://blog.rigour.info/web/televisore/ televisore 17] [http://load.rigour.info/view/new/la-pece.htm la pece temi svolti] [http://italy.rigour.info/blog/fatal-tragedy.htm fatal tragedy live dream theater] [http://down.rigour.info/blog/i-don.htm i don t know why] [http://speed.rigour.info/alba-parietti.htm alba parietti film dvd] [http://all.rigour.info/the-frameless/ the frameless] [http://dir.rigour.info/frasi-idiomatiche/ frasi idiomatiche inglesi] [http://guest.rigour.info/library/html/pietravairano/ pietravairano] [http://uve.rigour.info/blog/ferrari-.htm ferrari 512 bb] [http://note.rigour.info/content/view/www-freefoto.htm www freefoto cz] [http://milano.rigour.info/jenny-mccharty.htm jenny mccharty] [http://online.rigour.info/rosas-rojas/ rosas rojas] [http://guest.rigour.info/library/html/telecamera-digitale/ telecamera digitale samsung] [http://pagina.rigour.info/portatile-frigoriferi/ portatile frigoriferi] [http://note.rigour.info/content/view/la-morte.htm la morte azzurra] [http://up.rigour.info/description/lib/donna-sexi.htm donna sexi] [http://down.rigour.info/blog/ragazzo-santiago.htm ragazzo santiago de compostela] [http://uve.rigour.info/blog/sologay.htm sologay] [http://note.rigour.info/content/view/zeppoli.htm zeppoli] [http://online.rigour.info/iquique/ iquique] [http://note.rigour.info/content/view/pro-evolution.htm pro evolution soccer 4 online anche su pc] [http://load.rigour.info/view/new/tavolo-caddy.htm tavolo caddy] [http://online.rigour.info/metal-slug/ metal slug x] [http://speed.rigour.info/asus-pp.htm asus p5p800] [http://note.rigour.info/content/view/son-des.htm son des amores] [http://content.rigour.info/html/i-storm/ i storm modem atlantis land] [http://paga.rigour.info/kancelarya/ kancelarya] [http://it.rigour.info/topic/escort-catania/ escort catania] [http://here.rigour.info/blog/hir-aj.htm hir aj come hir aj go] [http://content.rigour.info/html/segretaria-sex/ segretaria sex] [http://italy.rigour.info/blog/porta-per.htm porta per doccia] [http://guest.rigour.info/library/html/kemel/ kemel] [http://note.rigour.info/content/view/la-scoperta.htm la scoperta del fuoco] [http://dir.rigour.info/origini-della/ origini della informazione] [http://blog.rigour.info/web/tariffa-rifiuti/ tariffa rifiuti] [http://dir.rigour.info/grabster/ grabster 250] [http://all.rigour.info/enrico-vincenzi/ enrico vincenzi] [http://paga.rigour.info/www-provveditorato/ www provveditorato studi milano] [http://down.rigour.info/blog/il-ritorno.htm il ritorno di mr. hardy] [http://italy.rigour.info/blog/h-bluetooth.htm h500 bluetooth per cellulari] [http://content.rigour.info/html/il-contadino/ il contadino allegro] [http://down.rigour.info/blog/stampante-laser.htm stampante laser canon colori] [http://italy.rigour.info/blog/game-shark.htm game shark] [http://down.rigour.info/blog/axim.htm axim 3] [http://pagina.rigour.info/dj-di/ dj di musica electronica in italia] [http://note.rigour.info/content/view/mss-read.htm mss read] [http://up.rigour.info/description/lib/decoder-satellitare.htm decoder satellitare digitale terrestre] [http://milano.rigour.info/panda-internet.htm panda internet] [http://speed.rigour.info/la-tua.htm la tua presenza in me] [http://milano.rigour.info/case-cinematografiche.htm case cinematografiche in egitto] [http://up.rigour.info/description/lib/www-ten.htm www ten28 com] [http://it.rigour.info/topic/the-promise/ the promise kate ryan] [http://load.rigour.info/view/new/erotico-profondo.htm erotico profondo] [http://guest.rigour.info/library/html/la-donna/ la donna nuda] [http://down.rigour.info/blog/banking-sistem.htm banking sistem england] [http://note.rigour.info/content/view/w.htm w3248] [http://blog.rigour.info/web/emmanuil-cesare/ emmanuil, cesare] [http://note.rigour.info/content/view/peugeot-foggia.htm peugeot foggia] [http://up.rigour.info/description/lib/canberra-patto.htm canberra, patto di-] [http://it.rigour.info/topic/comandos/ comandos] [http://pagina.rigour.info/gioco-boy/ gioco boy] [http://dir.rigour.info/autocad-libri/ autocad libri] [http://speed.rigour.info/nude-shopping.htm nude shopping] [http://uve.rigour.info/blog/uliveto.htm uliveto] [http://pagina.rigour.info/ati-fire/ ati fire] [http://dir.rigour.info/videochatgratis/ videochatgratis] [http://note.rigour.info/content/view/kelkoo.htm kelkoo] [http://it.rigour.info/topic/ferri-golf/ ferri golf sport e fitness] [http://gratis.rigour.info/content/view/qtek-imate.htm qtek imate jasjar] [http://guest.rigour.info/library/html/fodere-sedili/ fodere sedili] [http://online.rigour.info/programma-per/ programma per dj] [http://note.rigour.info/content/view/casse-acustiche.htm casse acustiche totem] [http://content.rigour.info/html/spartiti-canzoni/ spartiti canzoni italiane] [http://italy.rigour.info/blog/thes-tv.htm thes tv] [http://down.rigour.info/blog/robby.htm robby] [http://content.rigour.info/html/majorca/ majorca] [http://speed.rigour.info/lighting-break.htm lighting break - il biliardo] [http://load.rigour.info/view/new/leone-di.htm leone di lernia] [http://italy.rigour.info/blog/fiori-dacciaio.htm fiori dacciaio] [http://web.rigour.info/kate-melua/ kate melua] [http://milano.rigour.info/adsl-combo.htm adsl combo modem] [http://italy.rigour.info/blog/decreto-legislativo.htm decreto legislativo 7 settembre 2005 n] [http://gratis.rigour.info/content/view/il-testamento.htm il testamento del dottor mabuse] [http://speed.rigour.info/inculata-dal.htm inculata dal cavallo] [http://up.rigour.info/description/lib/divieto-di.htm divieto di fumare] [http://load.rigour.info/view/new/ultrastack-bgs.htm ultrastack bg412s] [http://pagina.rigour.info/nomi-cuccioli/ nomi cuccioli] [http://uve.rigour.info/blog/natale-galletto.htm natale galletto] [http://gratis.rigour.info/content/view/i-dieci.htm i dieci comandamenti] [http://here.rigour.info/blog/haerbin.htm haerbin] [http://guest.rigour.info/library/html/panda-fire/ panda fire] [http://paga.rigour.info/amicizia-relazione/ amicizia relazione] [http://note.rigour.info/content/view/cobra-.htm cobra - argo 512 mb radio] [http://up.rigour.info/description/lib/pmi-in.htm pmi in reggio calabria] [http://down.rigour.info/blog/the-rasmu.htm the rasmu] [http://it.rigour.info/topic/sordi-te/ sordi te c hanno mai mannato a quer paese] [http://web.rigour.info/telefonini-con/ telefonini con radio e lettore mp3] [http://web.rigour.info/dns/ dns] [http://web.rigour.info/filmati-hard/ filmati hard selen gratis] [http://all.rigour.info/lello/ lello] [http://it.rigour.info/topic/vagabondi-dellamore/ vagabondi dellamore] [http://here.rigour.info/blog/seven-seconds.htm seven seconds] [http://paga.rigour.info/micro-hifi/ micro hi-fi dvd cmt-dv2d] [http://down.rigour.info/blog/sputtanamento.htm sputtanamento] [http://paga.rigour.info/oki-ml/ oki ml 3320] [http://load.rigour.info/view/new/stradario-praga.htm stradario praga] [http://blog.rigour.info/web/franchising-attivita/ franchising attivita] [http://milano.rigour.info/www-comune.htm www comune di bacoli it] [http://blog.rigour.info/web/casa-mobile/ casa mobile] [http://uve.rigour.info/blog/www-lapolar.htm www lapolar cl] [http://milano.rigour.info/volvo-v.htm volvo v 40 sport] [http://online.rigour.info/fiere-esposizioni/ fiere esposizioni roma] [http://it.rigour.info/topic/haemopis/ haemopis] [http://uve.rigour.info/blog/foppapedretti-armadi.htm foppapedretti armadi] [http://blog.rigour.info/web/altoparlanti-/ altoparlanti 5 1 wireless] [http://down.rigour.info/blog/legge-n.htm legge n 239 del 23 08 04] [http://up.rigour.info/description/lib/i-vari.htm i vari stile del nuoto] [http://milano.rigour.info/house-of.htm house of the time] [http://speed.rigour.info/nvidia-geforce.htm nvidia geforce 5200 128mb tv] [http://gratis.rigour.info/content/view/ef-x.htm ef 2x] [http://uve.rigour.info/blog/execelsior.htm execelsior] [http://blog.rigour.info/web/lavastoviglie-larghezza/ lavastoviglie larghezza 50] [http://italy.rigour.info/blog/drunk-foto.htm drunk foto] [http://content.rigour.info/html/batterie-sony/ batterie sony np] [http://all.rigour.info/cgil-it/ cgil it] [http://note.rigour.info/content/view/la-porta.htm la porta dalle sette chiavi] [http://all.rigour.info/inculo/ inculo] [http://milano.rigour.info/supporto-per.htm supporto per plasma] [http://load.rigour.info/view/new/web-cam.htm web cam new york city] [http://up.rigour.info/description/lib/divx-harman.htm divx harman] [http://blog.rigour.info/web/jeep-cherokee/ jeep cherokee 2 8 crd] [http://note.rigour.info/content/view/bmw-guasti.htm bmw guasti] [http://online.rigour.info/fox/ fox] [http://note.rigour.info/content/view/getright.htm getright 5.0.2] [http://speed.rigour.info/cd-cocciante.htm cd cocciante notre dame] [http://uve.rigour.info/blog/video-di.htm video di california] [http://gratis.rigour.info/content/view/acronis-true.htm acronis true image server] [http://pagina.rigour.info/auto-noleggio/ auto noleggio barcellona pozzo gotto] [http://pagina.rigour.info/blackwood-algernon/ blackwood, algernon] [http://content.rigour.info/html/textbridge-pro/ textbridge pro] [http://online.rigour.info/katie-price/ katie price sexy] [http://milano.rigour.info/kit-scaffale.htm kit scaffale] [http://milano.rigour.info/lisola-del.htm lisola del sogno - amori e canzoni] [http://italy.rigour.info/blog/plotter-a.htm plotter a1 hp 430] [http://here.rigour.info/blog/ponography.htm ponography] [http://guest.rigour.info/library/html/saez/ saez] [http://guest.rigour.info/library/html/gps-bt/ gps bt 77] [http://web.rigour.info/hifi/ hifi 5 1] [http://speed.rigour.info/borsa-louis.htm borsa louis vuitton] [http://speed.rigour.info/luoghi-pubblici.htm luoghi pubblici] [http://here.rigour.info/blog/ups.htm ups 2 000] [http://content.rigour.info/html/fiat-stilo/ fiat stilo jtd sw] [http://paga.rigour.info/cordless-logitech/ cordless logitech dinovo] [http://online.rigour.info/v-usb/ v150 usb driver] [http://note.rigour.info/content/view/hotel-lecco.htm hotel lecco] [http://pagina.rigour.info/porno-black/ porno black] [http://speed.rigour.info/easyshare-v.htm easyshare v530] [http://gratis.rigour.info/content/view/foto-pancioni.htm foto pancioni] [http://guest.rigour.info/library/html/big-boob/ big boob] [http://up.rigour.info/description/lib/compaq-amd.htm compaq amd sempron 3200] [http://speed.rigour.info/windous-media.htm windous media] [http://paga.rigour.info/la-commedia/ la commedia di dio] [http://guest.rigour.info/library/html/frasi-santini/ frasi santini] [http://speed.rigour.info/vanessa-vanna.htm vanessa vanna] [http://it.rigour.info/topic/namie-amuro/ namie amuro] [http://down.rigour.info/blog/bomboniera-fai.htm bomboniera fai te] [http://note.rigour.info/content/view/invito-ad.htm invito ad un compleanno] [http://all.rigour.info/errore/ errore 734] [http://it.rigour.info/topic/sat-modem/ sat modem pci] [http://speed.rigour.info/ub-breath.htm ub40 breath] [http://paga.rigour.info/daniela-santanche/ daniela santanche] [http://all.rigour.info/bianca-d/ bianca d antonio] [http://all.rigour.info/yamaha-rxv/ yamaha rx-v 2500] [http://pagina.rigour.info/orologio-philip/ orologio philip watch] [http://milano.rigour.info/serena-gritta.htm serena gritta] [http://down.rigour.info/blog/ci-vorrebbe.htm ci vorrebbe un amico] [http://italy.rigour.info/blog/disco-latino.htm disco latino] [http://paga.rigour.info/igor-sibaldi/ igor sibaldi] [http://speed.rigour.info/canon-bubblejet.htm canon bubblejet pixmania] [http://online.rigour.info/audi-a/ audi a3 toscana] [http://italy.rigour.info/blog/hp.htm hp 9300] [http://gratis.rigour.info/content/view/china-rose.htm china rose] [http://all.rigour.info/baccaro/ baccaro] [http://italy.rigour.info/blog/dolore.htm dolore] [http://dir.rigour.info/sigma-mm/ sigma 55-200mm f4-5 6 dc] [http://gratis.rigour.info/content/view/elettrostimolatori-gymmy.htm elettrostimolatori gymmy] [[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]