Category:Standard ML: Difference between revisions

[http://amohseni.info/img/styles/calciocom/ calcio.com] [http://chaba.info/konica-minolta/ konica minolta dimage 600] [http://kinunia.cn/rebel-a.htm rebel a k a] [http://bloprofeldi.info/lib/forno-con.htm forno con piano cottura] [http://saibso.org/clipart-cobra.htm clipart cobra] [http://saibso.org/videochatgratis.htm videochatgratis] [http://bloprofeldi.info/lib/accessori-per.htm accessori per interni audi 4] [http://bloprofeldi.info/lib/miratoio.htm miratoio] [http://amohseni.info/img/styles/mac-os/ mac os 10 4 tiger] [http://chaba.info/sacrifice-by/ sacrifice by lisa gerard and peter burke] [http://ustall.org/web/von-savigny.htm von savigny] [http://bloprofeldi.info/lib/udo-samel.htm udo samel] [http://psisemiya.com/images/small/jamie-walters/ jamie walters songs] [http://ustall.org/web/top-sensation.htm top sensation] [http://ustall.org/web/dulce-maria.htm dulce maria clase 406] [http://saibso.org/posto-al.htm posto al sole rai it] [http://davte.info/library/html/bella-balilla.htm bella balilla] [http://chaba.info/platinum-wall/ platinum wall] [http://bloprofeldi.info/lib/dating-sites.htm dating sites] [http://kinunia.cn/tu-che.htm tu che] [http://davte.info/library/html/foto-arcuri.htm foto arcuri] [http://nobinters.org/totali-.htm totali spies] [http://kinunia.cn/frigorifero-no.htm frigorifero no frost classe a silver] [http://bloprofeldi.info/lib/miguel-bose.htm miguel bose super superman] [http://saibso.org/omicidio-per.htm omicidio per vocazione] [http://davte.info/library/html/minueto.htm minueto] [http://helmed.info/topic/la-celiachia/ la celiachia] [http://amohseni.info/img/styles/notebook-schede/ notebook schede acquisizione e tv] [http://nobinters.org/lamiere-reggio.htm lamiere reggio emilia] [http://bloprofeldi.info/lib/rx-v.htm rx v2500] [http://davte.info/library/html/ragazza-ischia.htm ragazza ischia] [http://kinunia.cn/poltrona-piscina.htm poltrona piscina] [http://amohseni.info/img/styles/turn-me/ turn me on de kevin little] [http://nobinters.org/palmari-ppc.htm palmari ppc] [http://davte.info/library/html/xvid-video.htm xvid video codec windows] [http://ashythro.info/library/html/dance-live/ dance live in trento] [http://saibso.org/awz.htm awz 6516] [http://amohseni.info/img/styles/motori-di/ motori di ricrca] [http://helmed.info/topic/monica-belucci/ monica belucci sex] [http://chaba.info/charme/ charme] [http://psisemiya.com/images/small/martin-il/ martin il marziano] [http://ashythro.info/library/html/trust-wireless/ trust wireless audio video] [http://nobinters.org/ram-notebook.htm ram notebook ddr sdram hp] [http://saibso.org/marlen.htm marlen] [http://nobinters.org/hit-mania.htm hit mania dance 2000 2001] [http://davte.info/library/html/ka-sport.htm ka sport] [http://nobinters.org/driana.htm driana] [http://amohseni.info/img/styles/acer-x/ acer x700 notebook] [http://helmed.info/topic/natural-power/ natural power] [http://saibso.org/www-asharqalawsat.htm www asharqalawsat com] [http://nobinters.org/gancio-orecchino.htm gancio orecchino] [http://bloprofeldi.info/lib/eamon-test.htm eamon test] [http://saibso.org/lipsia-citta.htm lipsia citta] [http://chaba.info/amico-maria/ amico maria de filippi sito ufficiale] [http://amohseni.info/img/styles/sito-per/ sito per scaricare musica] [http://helmed.info/topic/furg/ furg] [http://psisemiya.com/images/small/una-pistola/ una pistola per un vile] [http://kinunia.cn/test-fotocamera.htm test fotocamera digitali] [http://chaba.info/mv-/ mv 750 canon] [http://kinunia.cn/fotocamera-nikon.htm fotocamera nikon 10x] [http://saibso.org/giochi-tim.htm giochi tim] [http://bloprofeldi.info/lib/sbs.htm sbs 350] [http://helmed.info/topic/night-nurse/ night nurse] [http://helmed.info/topic/decapitato-com/ decapitato com] [http://nobinters.org/villaggi-del.htm villaggi del ventaglio] [http://ustall.org/web/milano-trieste.htm milano trieste biglietti aerei] [http://bloprofeldi.info/lib/nomi-cuccioli.htm nomi cuccioli] [http://kinunia.cn/baciata.htm baciata] [http://saibso.org/john-huston.htm john huston] [http://chaba.info/lotta-per/ lotta per la vita] [http://helmed.info/topic/gico-tetris/ gico tetris per computer] [http://amohseni.info/img/styles/locandina-film/ locandina film the rock] [http://kinunia.cn/sla-gasolina.htm sla gasolina] [http://psisemiya.com/images/small/superfighetto-it/ superfighetto it] [http://kinunia.cn/uv-lampada.htm uv lampada] [http://kinunia.cn/concierto-di.htm concierto di aranjuez] [http://davte.info/library/html/watt-radio.htm watt radio] [http://nobinters.org/contax-ur.htm contax u4r] [http://helmed.info/topic/oops-sexy/ oops sexy ratis] [http://chaba.info/hornet/ hornet 2002] [http://bloprofeldi.info/lib/p.htm p4 2 4] [http://psisemiya.com/images/small/flight-sim/ flight sim] [http://nobinters.org/keyserling-eduard.htm keyserling, eduard von-] [http://helmed.info/topic/donna-orologi/ donna orologi sector] [http://nobinters.org/annuncio-affitto.htm annuncio affitto biella] [http://saibso.org/cosa.htm cosa] [http://chaba.info/dancing-with/ dancing with my] [http://helmed.info/topic/lc-pe/ lc 26p50e] [http://nobinters.org/video-cnn.htm video cnn] [http://ustall.org/web/rivelatore-gas.htm rivelatore gas] [http://ustall.org/web/novella.htm novella] [http://saibso.org/grand-hotel.htm grand hotel fleming] [http://ustall.org/web/violeta-parra.htm violeta parra] [http://kinunia.cn/microonde-combinato.htm microonde combinato vapore] [http://nobinters.org/escort-girl.htm escort girl] [http://chaba.info/frigorifero-e/ frigorifero e congelatore classe a] [http://bloprofeldi.info/lib/game-boy.htm game boy zaffiro] [http://saibso.org/significado-de.htm significado de la letra i] [http://ashythro.info/library/html/scandalo-a/ scandalo a corte] [http://davte.info/library/html/grazioli-giocattoli.htm grazioli giocattoli] [http://amohseni.info/img/styles/decapitazione-integrale/ decapitazione integrale] [http://ustall.org/web/listino-prezzi.htm listino prezzi ascensori] [http://saibso.org/boxoffice.htm boxoffice] [http://saibso.org/partituras-de.htm partituras de la ley] [http://amohseni.info/img/styles/nis-/ nis 2005 upg] [http://davte.info/library/html/foto-auto.htm foto auto elaborate tuning] [http://ashythro.info/library/html/henryson-o/ henryson o henderson, robert] [http://nobinters.org/parma-lamezia.htm parma lamezia terme biglietti aerei] [http://kinunia.cn/manowar-wheels.htm manowar wheels of fire] [http://helmed.info/topic/tutto-va/ tutto va come deve andare] [http://ustall.org/web/sono-le.htm sono le venti] [http://nobinters.org/telepiu.htm telepiu] [http://saibso.org/geometri.htm geometri] [http://saibso.org/hotel-passo.htm hotel passo del tonale] [http://kinunia.cn/tesine-chimica.htm tesine chimica] [http://bloprofeldi.info/lib/www-goole.htm www goole com ar] [http://psisemiya.com/images/small/magix-video/ magix video deluxe 2005 plus] [http://ustall.org/web/atos-auto.htm atos auto] [http://ustall.org/web/scheda-wlan.htm scheda wlan] [http://ustall.org/web/gruppo-pooh.htm gruppo pooh] [http://saibso.org/desnudo.htm desnudo] [http://bloprofeldi.info/lib/indiana-jones.htm indiana jones nella rete] [http://psisemiya.com/images/small/lampada-da/ lampada da terra illuminazione] [http://ashythro.info/library/html/moto-guzzi/ moto guzzi v11 sport] [http://saibso.org/weyrauch-wolfgang.htm weyrauch, wolfgang] [http://kinunia.cn/calendario-ragazze.htm calendario ragazze del web] [http://davte.info/library/html/giocho-calcio.htm giocho calcio] [http://nobinters.org/waterfalls-of.htm waterfalls of the philippines] [http://amohseni.info/img/styles/frigoriferi-da/ frigoriferi da incasso classe a] [http://chaba.info/san-giorgio/ san giorgio a cremano] [http://bloprofeldi.info/lib/samsung-t.htm samsung 710t] [http://helmed.info/topic/monitor-benq/ monitor benq fp71g] [http://saibso.org/colpo-grosso.htm colpo grosso (dvd)] [http://nobinters.org/generatori-di.htm generatori di trojan] [http://helmed.info/topic/photos-de/ photos de chien] [http://bloprofeldi.info/lib/donna-fotografia.htm donna fotografia] [http://amohseni.info/img/styles/symple-red/ symple red] [http://kinunia.cn/periyar.htm periyar] [http://davte.info/library/html/dvi-femmina.htm dvi femmina vga maschio] [http://ustall.org/web/pixma-ipr.htm pixma ip4000r] [http://helmed.info/topic/energy-protector/ energy protector 600] [http://helmed.info/topic/codice-penale/ codice penale] [http://davte.info/library/html/vangog.htm vangog] [http://saibso.org/hidden.htm hidden] [http://amohseni.info/img/styles/scugnizza/ scugnizza] [http://psisemiya.com/images/small/canon-eosd/ canon eos20d] [http://ustall.org/web/attrice-italiana.htm attrice italiana g] [http://saibso.org/glenn-miller.htm glenn miller - la storia di glenn miller] [http://ustall.org/web/rebecca-ferratti.htm rebecca ferratti] [http://saibso.org/popeye-vol.htm popeye. vol. 21] [http://bloprofeldi.info/lib/km-smart.htm km0 smart fortwo diesel auto km 0] [http://chaba.info/comunecusanomutri-it/ comunecusanomutri it] [http://kinunia.cn/compositor-dale.htm compositor dale don nokia] [http://ustall.org/web/gps-ipaq.htm gps ipaq 36xx] [http://bloprofeldi.info/lib/renault-laguna.htm renault laguna benzina] [http://psisemiya.com/images/small/arenaria-zoologia/ arenaria (zoologia)] [http://psisemiya.com/images/small/last-minute/ last minute it] [http://psisemiya.com/images/small/spinning-verona/ spinning verona] [http://saibso.org/boby-mc.htm boby mc ferin] [http://davte.info/library/html/macromedia-fireworks.htm macromedia fireworks mx 2004] [http://ustall.org/web/collants.htm collants] [http://chaba.info/sin-un/ sin un beso] [http://ustall.org/web/oki-.htm oki - okipage 4w plus] [http://amohseni.info/img/styles/rs-mmc/ rs mmc memory card 512] [http://saibso.org/secondi-canale.htm secondi canale] [http://nobinters.org/i-love.htm i love america] [http://nobinters.org/s-ela.htm s ela langa e cosi] [http://davte.info/library/html/sopravvivere-al.htm sopravvivere al gioco] [http://kinunia.cn/pelicula-titanic.htm pelicula titanic] [http://davte.info/library/html/family-affair.htm family affair] [http://davte.info/library/html/tu-come.htm tu come stai baglioni testo] [http://saibso.org/nardi-frigoriferi.htm nardi frigoriferi] [http://helmed.info/topic/video-cicciolina/ video cicciolina cavallo] [http://psisemiya.com/images/small/im-moving/ im moving on] [http://saibso.org/vcr-lg.htm vcr lg] [http://bloprofeldi.info/lib/movimento-cantautori.htm movimento cantautori] [http://nobinters.org/cristina-aguileira.htm cristina aguileira] [http://ustall.org/web/www-francesco.htm www francesco renga] [http://amohseni.info/img/styles/router-adsl/ router adsl wireless 108] [http://chaba.info/spartiti-caparezza/ spartiti caparezza] [http://helmed.info/topic/nissan-lombardia/ nissan lombardia] [http://bloprofeldi.info/lib/ver-el.htm ver el video de tardes negras] [http://kinunia.cn/affinita-nome.htm affinita nome] [http://saibso.org/hristo.htm hristo] [http://ustall.org/web/tastiera-microsoft.htm tastiera microsoft mouse e tastiere] [http://davte.info/library/html/samsung-q.htm samsung q] [http://helmed.info/topic/rare-ricorda/ rare ricorda il suo passato, in musica] [http://psisemiya.com/images/small/lettori-dvd/ lettori dvd vhs con decoder] [http://nobinters.org/scoobydoo-e.htm scooby-doo e la casa dei fantasmi] [http://chaba.info/carlo-poma/ carlo poma] [http://helmed.info/topic/vincitori-fotoromanzo/ vincitori fotoromanzo] [http://kinunia.cn/traduzione-my.htm traduzione my band] [http://bloprofeldi.info/lib/fortuna-gps.htm fortuna gps e accessori] [http://kinunia.cn/estelle-reyna.htm estelle reyna] [http://davte.info/library/html/whirlpool-awz.htm whirlpool awz-9999] [http://kinunia.cn/mostra.htm mostra] [http://davte.info/library/html/prenotazione-albergo.htm prenotazione albergo zurigo] [http://helmed.info/topic/materasso-ignifughi/ materasso ignifughi] [http://chaba.info/gogol/ gogol] [http://amohseni.info/img/styles/unione-agricoltori/ unione agricoltori terni] [[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]