Category:Standard ML
teseo contro il minotauro sardegna badesi immagini di animali sigma apo 70-200 f 2 8 i cinque draghi doro non piangere stasera ragazzo novi ligure lo strano percosso fetishbank canon wp-dc40 logisty videosorveglianza allarmi what u get is what u c charrito negro rider tomtom navigatori gps sicily parfume la donna ideale www nazisti batteria ioni di litio azione immediata kingston mmc rs caught in a middle maglia cofidis media express range rover psion netbook pro profumo chopard montague, charles edward immagini ragazze nude gratis enpacl papa winnie valery gergiev piscina di antegnate ram memoria 168 pin then comes the sun kiangsu spiller groovejet maren ord capannori plasmon 2 batteria acer 200 mg zr 160 we re not gonna take it guerrieri in smoking x men2 philips jukebox mp3 hdd-100 department diamonds milano era di maggio macchine fotografiche digitale batteria gsmk cryptophone 200 trolley 4 ruote le son qui tu batteria cellulare panasonic lex steele sulla neve lamarck, jean-baptiste-pierre... immagini video gena lee nolin pine island bay templo climatizzatore fisso classe a phaser 8500 xpeople org je ta promiss vacanze italia club mini inferno williams angel elton jhon sacrifice dj jean sastre anthony perkins risuscito club bologna macchina delle bolle mouse laser logitech mx 1000 ragazzo ciampino the reason grennday ferentino ian brown brazil brother dr 2000 online personal ads ospedali salernitani cordless easy telecom annuncio affitto biella delta airlines telefoni 3 indirizzi grandi firme www duncanjames it per niente al mondo jayden pascuale samantha de grene cellulare e palmare gps gprs mohamed ray ddddd dp 470 los suaves tabella millesimale not easy the stone roses. the dvd trebol clan lyrics happy cristhmas gazebo 3x4 www luxemburg ba it patente c gommisti pordenone moduli ricorsi autovelox toyota mantova corso cucina parma provincia rodi libri proteine uova obiettivi d70 altalena per neonati arredamento giardino legno toner oki c5300 offerta vacanza egitto ordine di esecuzione visiondtv sat intermezzo sinfonico disagio giovanile montature pisa fiat panda 1.2 pentium 4 3 3 ghz modello 730 tempesta sul nilo dom perignon energia di combustione dix software per il morphing norberto bobbio ingrid com spetters eric von stroheim navigazione lago di como cancion de musica perreo tutte le domande di sonic cinesi fighe soluzione necronomicon geforce fx5700le 256mb onkyo dvd dv-sp500 financial times term insurance sistemi informativi integrati zoom ottico 6x garanzia smart centro addestramento cinofilo a padova il croccodile come fa kentucky, diga del- machinine caramelito oh happy daus stay tommy vee hp 715 armies exigo www vigili del fuoco it www info12 it frigoriferi incasso 320 gennaro gattuso omnibook xe quando passavano i lenti soluzione pro evolution soccer anna frank attrezzo addominale dvd video 007 calamita doro set manicure e pedicure batteria per motorola t720i seduzioni putney swope vandi opa interruttore lacie d2 dvd rw con lightscribe 16x lavatrice inox carica alto turlon the reasen cavalli uomo suker per sempre clistere anale federico salvatore testi botta e risposta con le creature impossibili riassunto giallo alla corte di francia monitor crt flat 19 elettrico off road telefono azzurro golf 1.6 highline 16v aeroporto verona step it up www balli latini com zena gang bang maisin nane testi mondo marcio la regina dei fiori the littlest hobo video comici moto nokia 6630 auricolare il muro dei tifosi rdb vigili mdc giannina facio 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