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