Category:Standard ML
www galiani com basi musicali celentano beverley mitchell brianeno bianca beauchamp yugihoo benny benasi buffy tyler video www fmcorp com zoccoli pescura brad pitt calendario yu yu binetto www sassari ircq it blessed union of souls www carpisa it www jennifer lopes www lucignolo it www pistoia eventi paesani www aladino it bohr barboncino your won main men victor lazlo www unicz bustarelle a noi piace freddo...! www bgonline it www raaga com baixar calular bennasy yonca www ltu de bella senz anima di cocciante batterie moto www 11settembre it bubblin blu www ryanair benny y bose banda beni broken video xerox www mugello bonalume z reticoli meganoidi yo voy f daddy yankee zelda awakening bugo athena e le sette sorelle wwo vienio pele dj 600volt xr 4750rds zeta cam blu bilancio societario 2004 britney spears nuda free www regione puglia it www actarus goldrake com ww suca it bebu silvetti banbabardo biagio antonacci alessandra zucchero ho scelto te www fernandodenoronha br www bossfilm it www siracusacalcio it www sfdk cl www lahora de tu muerte com ba com www la guerra it yo te voy a amar zxz www usl5 it balilla band blue brosher bugiarda tu www depelicula com www figcmarche it b c i www novalux it benni bennasi babilin bresciaonline barcellona di notte yari bruno lembo zocc al di là della legge www ubbi com br best sound brutta citta www zuker it agente 3 s 3 passaporto per l'inferno baby beesh bitter little simphony beautyful boys com zadok www emmelunga it bin tere blue che mi dici black ayed peas www acqualand it buddismo a milano baby kakes zvonko www sanjua yeah da scaricare in mp3 gratis amore in quattro dimensioni baseball gioco blue video a chi mi dice bandiara nera baldini ya mustafa blackeyed peas www altavista com mx bandi di gara potature alberi assalto dallo spazio www omega it bandida hector y tito www caraibi com bennasi brothers bachata video www napolisat com busted air hostess testo ya ghayeb any time any play www lindvall wecam ragazzi boffo rocco www rfef es www salue de bestie di tozzi xsat benny banasi satisfaction bologna accompagnatrici boys gay porn black sabbat bitch brooks bennasi bros feat dhany hit my heart bilal midi baby h mere naseeb bojate www lagos cd biblioteca nazionale di roma anno domini bloodpatche british tv beauty gets fired for 3 big bad love www ronaldo it big broders www vivicorato it bici sport firenze 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