Category:Standard ML
nextel ringtones order prozac cheap ambien cheap nexium hoodia online wellbutrin online cheap sildenafil vigrx online cheap cialis levitra online tramadol online vicodin online wellbutrin online free qwest ringtones cheap propecia polyphonic ringtones free cool ringtones free polyphonic ringtones free mono ringtones cheap hydrocodone cheap adipex alltel ringtones cheap valium cheap tenuate cheap phentermine cheap alprazolam order flexeril hgh online meridia cheap ultram free ringtones funny ringtones cheap diethylpropion free qwest ringtones free real ringtones cheap lipitor cheap ultracet order tramadol cheap cialis sony ericsson ringtones funny ringtones online zoloft free music ringtones carisoprodol online cheap zanaflex free nokia ringtones lortab motorola ringtones samsung ringtones free alltel ringtones free sharp ringtones soma online mtv ringtones cheap levitra pharmacy online online real ringtones cheap ambien cheap diethylpropion xanax online online lorazepam real ringtones punk ringtones buy albuterol xanax online online fioricet cheap didrex verizon ringtones ultracet online tracfone ringtones cheap clomid ativan xanax online buy nexium free sonyericsson ringtones clomid online adipex online cialis online cheap hydrocodone levitra online midi ringtones lisinopril online free wwe ringtones phentermine online tracfone ringtones sildenafil online verizon ringtones free midi ringtones buy phentermine cheap rivotril vicodin celexa online free funny ringtones cheap flexeril cheap hoodia tenuate online buy prozac sprint ringtones order norco meridia free sprint ringtones diazepam online fioricet free mp3 ringtones paxil online buy zanaflex but alprazolam cheap soma cheap diazepam free wwe ringtones cheap zoloft lorazepam online online norco free free ringtones cheap carisoprodol free qwest ringtones clonazepam online cheap celexa clonazepam online lipitor online free nokia ringtones lisinopril online cheap propecia free nokia ringtones punk ringtones carisoprodol online cheap ultram free sony ericsson ringtones free tracfone ringtones zyban online cheap hoodia tramadol online cingular ringtones free jazz ringtones alltel ringtones flexeril nextel ringtones kyocera ringtones free samsung ringtones motorola ringtones cheap meridia xenical online sony ringtones paxil online free sagem ringtones ativan online rivotril online cheap ortho cheap celexa free sharp ringtones adipex online ortho online but hydrocodone cheap propecia free cingular ringtones free nextel ringtones sagem ringtones online adipex punk ringtones didrex online free sonyericsson ringtones didrex online diazepam online free samsung ringtones sharp ringtones meridia online free mono ringtones cheap valium buy hgh nextel ringtones free funny ringtones cheap lortab ultracet buy viagra online albuterol vicodin online free motorola ringtones lorazepam online free ericsson ringtones free mp3 ringtones free sonyericsson ringtones cheap viagra cyclobenzaprine online vigrx free wwe ringtones cheap zoloft cheap clomid order fioricet samsung ringtones cheap albuterol buy tramadol cheap xenical online alprazolam clonazepam online free mp3 ringtones norco online xanax mtv ringtones qwest ringtones valium sildenafil online 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