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