Category:Standard ML
winrar roberto cavalli profumo uomo www albatour beds are burning il chiromante zeda euro 2004 volley il ragno nero time mp3 mf 29 tettone in calore elcaribecdn com cesare dire straits on the night el dia de mi suerte www nikko group com papuasia doncaster yaris prezzo ministero pubblica istruzione camera somma lombardo nokia6170 someday bloody someday vendita vhs hard anni 70 diosas desnudas la grande s parata lastanza lg rh7800 san (etnologia) norman antonia fraser dv jvc w w w telema international com canon ixus 700 7 2 concorsi operatore socio assistenziale sorriso dargento vol 04 experimentos quimica noir desire musiche gladiatore luce led bambolina barracuda gioco delle differenze vodeo mp4 rotolo carta fotografica epson pioneer 4700mp caricatore vw rai 2 incantesimo muvo 5 prov lecce san jose shopping voli granada http www thn ne jp azienda di soggiorno di cattolica c200 siemens lite on dvd rw matrox pcie i will remember you malattia di maniere accessori nikon 4500 firenze stradario fifa forever le tre spade di zorro gps receiver bluethoot bob marlin trust bluetooth headset sesso gratis con cani pc 2700 512 mb memoria ram sigma obiettivi x nikon jeep cherokee 2 5 limited nc6120 740 friends 8 mueve mueve lcd da 27 pollici tornio per ceramica bebe confort accessori auto the river of fear jvc batteria non ti passa piu ojala olympus camedia 20p isituto magarotto foto dei gemelli diversi offerte voli per new york mujeres haciendolo con otra mujer julio eglesias manuela king mec 3 canto cardellino blue in the face toshiba 2 5 virya anthrax indian hotel pejo timothy daly video hilyon toner per clp 550n mp3 registratore stumenti chirurgici ostetrici raid controller wwww chiamami radeon x800 xt honda hornet 600 sito e trailer americani per kingdom hearts george mazonakis gritti sergio mark hamill ragazza alba golf sharm siti per chattare subito toquino testi los amantes de lola mujeres desnudas com sony nw e407 passito pellegrino lancia y 12 ls x5 bmw 4 6 professoresse zoccole bustamove aspirapolveri delonghi hard disk esterno mini usb ammazza laden cheap wellbutrin cheap zanaflex zyban fioricet online propecia online free mtv ringtones lisinopril paxil online kyocera ringtones ultram online free mono ringtones didrex online hydrocodone online cheap lorazepam polyphonic ringtones verizon ringtones nextel ringtones cheap ambien music ringtones free nokia ringtones sonyericsson ringtones pharmacy online online free ringtones cheap vicodin diazepam online cheap alprazolam ultracet meridia flexeril lortab online norco online hoodia free sagem ringtones nexium online cheap soma cyclobenzaprine cheap zoloft jazz ringtones free cingular ringtones motorola ringtones free midi ringtones carisoprodol online hgh free sony ringtones tramadol online cheap phentermine albuterol cheap vigrx free qwest ringtones diethylpropion sprint ringtones cool ringtones cheap clomid adipex online levitra xenical online sildenafil punk ringtones free mp3 ringtones xanax online ativan online cheap prozac celexa online ortho online cheap tenuate free samsung ringtones lipitor online free ericsson ringtones free sharp ringtones free alltel ringtones valium online tracfone ringtones free sony ericsson ringtones rivotril clonazepam online real ringtones cialis online viagra online funny ringtones free wwe ringtones 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