Category:Standard ML
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:
- Standard ML of New Jersey (wikipedia): a Princeton compiler and programming environment
- MLton (mlton.org): a whole program optimizing compiler
- Moscow ML (dina.kvl.dk): a derived codebase from Caml Light
Citations
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Standard ML Implementations (4 P)
- Standard ML User (17 P)
Pages in category "Standard ML"
The following 200 pages are in this category, out of 301 total.
(previous page) (next page)A
- A+B
- ABC problem
- Abstract type
- Accumulator factory
- Ackermann function
- Algebraic data types
- Align columns
- Animation
- Anonymous recursion
- Apply a callback to an array
- Arbitrary-precision integers (included)
- Arithmetic evaluation
- Arithmetic-geometric mean
- Arithmetic/Complex
- Arithmetic/Integer
- Array concatenation
- Array length
- Arrays
- Assertions
- Averages/Arithmetic mean
- Averages/Root mean square
B
C
- Calculating the value of e
- Call a foreign-language function
- Cartesian product of two or more lists
- Case-sensitivity of identifiers
- Catalan numbers
- Catamorphism
- Character codes
- Check input device is a terminal
- Check output device is a terminal
- Check that file exists
- Church numerals
- Closures/Value capture
- Color of a screen pixel
- Combinations
- Combinations with repetitions
- Comma quibbling
- Command-line arguments
- Comments
- Compiler/lexical analyzer
- Compound data type
- Concurrent computing
- Constrained random points on a circle
- Continued fraction/Arithmetic/G(matrix ng, continued fraction n)
- Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2)
- Convert seconds to compound duration
- Convex hull
- Copy a string
- Copy stdin to stdout
- Count in octal
- Count occurrences of a substring
- Create a file
- Create a two-dimensional array at runtime
- Create an HTML table
- Currying
D
E
- Element-wise operations
- Empty directory
- Empty program
- Empty string
- Entropy
- Enumerations
- Environment variables
- Euler method
- Evaluate binomial coefficients
- Even or odd
- Exceptions
- Execute a system command
- Execute Brain****
- Exponentiation operator
- Extend your language
- Extract file extension
- Extreme floating point values
F
- Factorial
- Factors of an integer
- Fibonacci sequence
- File input/output
- File modification time
- File size
- Filter
- Find common directory path
- Find limit of recursion
- First-class functions
- FizzBuzz
- Flatten a list
- Floyd-Warshall algorithm
- Fork
- Formatted numeric output
- Forward difference
- Fractal tree
- Function composition
- Function definition
G
H
I
K
L
- Leap year
- Least common multiple
- Left factorials
- Linear congruential generator
- Linux CPU utilization
- Literals/Integer
- Literals/String
- Logical operations
- Long literals, with continuations
- Longest common prefix
- Longest common suffix
- Longest increasing subsequence
- Loop over multiple arrays simultaneously
- Loops/Foreach
- Loops/Increment loop index within loop body
- Loops/Infinite
- Loops/While
- Ludic numbers
- Luhn test of credit card numbers