Category:Standard ML
www razze pecore com kejt hajvan hate spam samsung ps42s4 divano foppapedretti fusar poli margaglio tv auto antenne epson c2600n powerpoints bg e1 canon greene, albert gordon bsn rich bicth ricetta vegane mai ha hee giochi giaponesi typhoon my guide palmari formato a3 stampanti laser liberodiscrivere it auto km 0 aziendali renault puglia le tue ali vacanza campeggio ragazzo salzburg kw motocross jade foret video comico ufficio pixma ip2000 albergo alessandria lcd 32 sharp aquos video di one love pc amd 939 barbie girl aqua gr dz7 curveball pin pong tapete sims 2 tshirt out islands cose fare la mia ragazza mena articolo31 leicaflex sl2 trasporto per gatti panasonic dmc f1 didattica a distanza bradesco music codes rifles dieta a zona krypta 11 masuccio salernitano hotel centro benessere vajont forni ariston experience matura in roma grave digger kingston 256 ddr adidas stan smith comf modugno omaggio a napoli emanuel computer cuisine deluxe profumi hermes after shave fuso orario australia www aeiou pt cassette per lettere ps2 resident evil 4 fotocamera digitale ultracompatta georgie dan la barbacoa bag trust consulto astrologia ryden marc franky www gom net eg tuto anni 90 numai numai juliana bbb nua moto storiche garelli paola barale e raz degan foto se... video de jennifer custodia alan 507 nudisti al mare hotel in algiers jip 1000 costa vale libero it klv 30hr3 siemens telefono fisso elenco magazzini pannelli polistirolo smachdown curva di eulero immediato video di san salvador me2 macchine attrezzature bar calendario 2005 arcuri ragazzo canazei tv lcd majestic dikom 7 foto aerea padova giancarlo dani trans al telefono attrezzi da palestra vottignasco giochi di navi mexicano y vico c dissipatori athlon xp gena lee nolin video sex www google be idel j d p r n 554 99 art 75 comma 1 breck out sotto la sabbia eros gratus mini macchine super veloci graduatorie insegnanti liga dela justicia iomega 250gb canon ef 600mm f 4l is usm just 5 annuncio casa nuoro nu ma uita undeva xivd codec x-men canon mv800i sentidos opuestos donde estan hp-compaq - compaq nx6110 numb encore philips vl1100 climatizzatore delonghi cerco a te climatizzatori dowload windows shadow of rome prezzo albergo chianciano terme snowy - the bears adventures the pirates ft shola ama punto 75 erredieffe masterizzatori liteon open your eyes gevara corsa podistica custodia in pelle acer dragostea din tei videclip aciculare emulatori giochi una data per football manager 2005 fast furie staffa parete plasma lego city fazzari giuseppe brother hl-2070n the sun www prtc com leica m stazione luna hotel cambridge sky titanium f420 una lunga storia d amore di gino paoli noi noi noi poggio verezzi stabiliamo un contatto bmw 320 i touring macchina fotografica digitali reflex flowers zene www disney it disney channel ghost buster amd 4400 x2 schede madre micro atx fax machine 4 15 codogno stampanti epson aculaser c1900 tracce prima prova stivali cesare paciotti is cause i m cool wireless pcmcia 802 11g le nostre radici affinita in amore l 2035 fiat stilo 1 9 dynamic jtd 3 porte w w w porno brillant illuminazione the howling peugeot 206 xr corrente continua siti web islamici bocage hub per rete la mia ragazza classifica giochi pc instrumentos box per hard disk sata nike silver 42 volley boll maggie smith il culto del cobra carrozzerie in lexan freeclip kaden bandrowski, juliusz vip 5267 dischi umd rilevatore di gas verbatim dvd r dl 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