Category:Standard ML
plotter hp designjet 100 disegni halloween obbiettivo macro biografia di mozart manzini (distretto) lucky luke vol 1 don franco e ciccio tema fatto loghi nokia ah 2060 mp3 google mx air jader celebrity video la gita a tindari lenti tifosi mondiali italia 1990 regolamento interfaccia m1 my air telefono sirio 187 sigla della corrida warner village cinema parco dei medici una patch di halloween per fear www carmen russo it uomini che scopano pamela anderson naked souls dragon ball z budokai 2 las vegas business center videoclip porno yoga a biella testi dennis roussos giochi britney giornalista decapitato schemi di frode francine prieto pics www gigidalessio it frasi di auguri di buon natale deporte abritel musica latino americana lg dvd divx vcr agenzia kit kat travel velvet revolver router trust pentax 6 megapixel lettore divx mp3 wma cento ragazze talkabout motorola inno d italia testo sfondi con sommergibili la ciat mpeg 3gp lord of the rimg ubbcluj ro zgorzelec james e la pesca gigante noleggio avis torino il ritratto di dorian grey rimm 128 testi sting km 0 tv 185 spiegel murray radeon 9600se sole_luna rudy il successo di un sogno ehime raab (fiume) galileamontijo stilling johann heinrich jung jacobina chiuhuahua nylons telecomando ps2 sony batterie piombo 12v lingerie foto done incinte pompini con animali televisore panasonic 42 anni 40 midi mara carfagna vasi di vetro accessori dx 7630 librto it addon 5 1 dottor dolittle marlene kuntz foto ora vieni con me ganga bang motivation unie reptile s house volkswagen km zero puntatori laser yo te avise mr driller di stephen king iriver 895 que es linguistica el baile del pescado final fantasy xii scorn not his simplicity photogallery filippo inzaghi espanish aspirapolveri bosch canon reflex calendario rutas ders sony hc1 e nfl fever 2002 kodak ls753 primo chip tosciba tecra a3 sotto massima sicurezza siti di gossip left outside alone anastasia sonata per clarinetto e pianoforte panasonic 300 x a a a offresi sesso free me cura sinonimo e contrario vagina pelosa pinguino 9000 jbl e 20 nikita elton john bearpaw 2448cu pro usb2 0 19200 dpi scandalo premeditato mp3 portatile cd dvd video x gratuit striscioni calcio via technologies vendita dvd vergini on line derosa fiat seicento anno 2002 yamaha chitarra acustica www agriturismo a magione ex rumbera www mail2world com trust 600 ups 600va www cheb bilal wanhsien manutentore meccanico (regione piemonte alessandria provincia) serigrafica ciber mice party boogi pimps fad rafaella cicarelli hotel arles arcidiocesi di cracovia video site de cul xxx sd vrs n8100 drago dacciaio climatizzatore a pompa di calore lg yanou et dj sammy becaud formato europeo curriculum vit epson emp835 joypad wireless xbox accessori console vendita piscine in cemento armato citta catania cover nokia 6600 mondiale calcio 2006 thermaltake orb ii frammenti di novecento v200 creative nocturne with no moon sucera eskimo joe la vita la vita viva san calo zombi tre cuori in affitto s giorgio junior jack stupiddisco lara wendel www erboristerie it ati x300se hex file tps french carlo martello un cappello pieno di pioggia boss od3 hans georg gadamer estupido cd audio mp3 lopez live puerto rico giochi cel harumi diaspora degli ebrei perfection 4490 nokia 6680 1 gb verbatim dvd printable togher veterinari pv nokia auricolare bluetooth hs 36w re collage un fiore nel deserto pantaloni vita bassa spartito lo strano percorso centrifuga asciugabiancheria phanton uomini nudisti 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