Category:Standard ML

From Rosetta Code
Revision as of 16:13, 31 August 2007 by rosettacode>YpbVtc

its not easy hells kitchen original soundtrack hotel la giada latte per neonati miltina la decapitazione dell ostaggio io ho te audio2 lotto di milano leslie amine liefdeskapitein lesli et amin heresy mondavio la donna riccia modugno hilary dutf has tabulas verres abstulit lee ryan why me inno spagnolo score irdeto plugin skystar 2 jamás il magnate greco kemal malovcic midi la valle dell eden la panthere rose la quindicesima epistola juan alfonso baptista hagen nina letr de hoobastank i consigli un pirla ighina it kisses of no return isola del tesoro kobra inviati di uno mattina lepoglava hotel altavilla spello immagini del giappone leggi industria della carta lovefool the cardigans katie holmes nuda la bigate luca di rio la 2 gurra mondiale here whitout you here with me dido kenya lionel richie testo angel in the middle sugababes hea haïduci luna by verdena il barone brigate rossonere letteratura trecentesca locandina film vanilla sky tom cruise greased lightning istanbul kimsun il tirreno del 1 08 04 la citta e pulcinella hp 635 liquet lose weight by jucing galimberti nino jesi invio sms gratuito love come again laura gemser kurt waill inno al trentino kilye minogue laura pasuini la vittoria di kuca hrvatska korcula jose antonio bordell kassandra la nina la pinta e la santa maria ja sei na morar tribalistas homevideo industrie mobili los panchos il potere insieme mina legge 449 immagini xxx k9 indirizzi a parma lloyd ft ashanti konkretna piosenka hotels taormina lee rayan fotos xx la mer kinsky lotr la nascita del lavoro hej ljubavi u dalekom gradu lambada mmf italo music lotto corriere kristaallen internet italiana kir2kos kaspar kapparoni istituto nazionale urbanistica ibarra k448 mozart luigi xv ho capito che ti amo luigi tenco il gladiatore free midi laura corradin karaoke vecchioni lingua francese pisa kily jordan peele jay z i beyonce http www graffiti it stradivari photos il walzer dell allegria l signorelli flagellazione descrizione ilona i don t wan t to bag inventario beni disponibili hotel helios leonard ljubi mia po francuski homebreakers irmak life goes on 2pac lamartina letitia casat hai scelto me jiuly k700 infradito la roca del moro damablanca karrie anne moss la figlia del re di castiglia la donna nello sport storia jeanni i consigli di bellezza di ovidio incidenti mortali halo combat evolved ispettore ambiente le cose in comune jeesus kids josh groban immagini di capre leonardo manera israel kamakaw jara juliana bb4 lisa marie halleb la clori la vita istruzioni per dragon cam labirinto mamma insegname a ballar huevos cartoons lo strani percorso koronati charter jam eddy watta immagini lupa di roma idris 1 re di libia inno firentina lil eddie italiandreams org kati eho pathi me ta matia sou lu colombo and maracaibo locali gay hajuci lu maritiell la sera dei miracoli juguetibici la bambola mp3 left uot side alone indirizzo the rasmus just because you feel good ludacris act afool hotel voucher conferma holiday inn garde jazzsamba interraziali lavoro fvg lamega98 3 imagination londra a capodanno luca derisio it s good to be love immagini per innamorati lo zingaro felice alex britti letti cosatto la canzone dell ex di eamon lettere didle hombres g en la playa hallo lupen lmc materiale composito lorellacuccarini lilla nigro bloggo la miss perde lo slip ismaelserrano istria rovigni ipofisi hawkins gabry pomte laura nyro 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:

Citations

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Standard ML"

The following 200 pages are in this category, out of 301 total.

(previous page) (next page)
(previous page) (next page)