Category:Standard ML
home teatre radio fatal tragedy dream theater the bolshoi ballet golf sportline km 0 bloome bensley stampanti epson picture mate scandalo blaze pactum grandes tetas gps garmin 2620 uefa champios league nike r4 shox locked up televisore 17 la pece temi svolti fatal tragedy live dream theater i don t know why alba parietti film dvd the frameless frasi idiomatiche inglesi pietravairano ferrari 512 bb www freefoto cz jenny mccharty rosas rojas telecamera digitale samsung portatile frigoriferi la morte azzurra donna sexi ragazzo santiago de compostela sologay zeppoli iquique pro evolution soccer 4 online anche su pc tavolo caddy metal slug x asus p5p800 son des amores i storm modem atlantis land kancelarya escort catania hir aj come hir aj go segretaria sex porta per doccia kemel la scoperta del fuoco origini della informazione tariffa rifiuti grabster 250 enrico vincenzi www provveditorato studi milano il ritorno di mr. hardy h500 bluetooth per cellulari il contadino allegro stampante laser canon colori game shark axim 3 dj di musica electronica in italia mss read decoder satellitare digitale terrestre panda internet la tua presenza in me case cinematografiche in egitto www ten28 com the promise kate ryan erotico profondo la donna nuda banking sistem england w3248 emmanuil, cesare peugeot foggia canberra, patto di- comandos gioco boy autocad libri nude shopping uliveto ati fire videochatgratis kelkoo ferri golf sport e fitness qtek imate jasjar fodere sedili programma per dj casse acustiche totem spartiti canzoni italiane thes tv robby majorca lighting break - il biliardo leone di lernia fiori dacciaio kate melua adsl combo modem decreto legislativo 7 settembre 2005 n il testamento del dottor mabuse inculata dal cavallo divieto di fumare ultrastack bg412s nomi cuccioli natale galletto i dieci comandamenti haerbin panda fire amicizia relazione cobra - argo 512 mb radio pmi in reggio calabria the rasmu sordi te c hanno mai mannato a quer paese telefonini con radio e lettore mp3 dns filmati hard selen gratis lello vagabondi dellamore seven seconds micro hi-fi dvd cmt-dv2d sputtanamento oki ml 3320 stradario praga franchising attivita www comune di bacoli it casa mobile www lapolar cl volvo v 40 sport fiere esposizioni roma haemopis foppapedretti armadi altoparlanti 5 1 wireless legge n 239 del 23 08 04 i vari stile del nuoto house of the time nvidia geforce 5200 128mb tv ef 2x execelsior lavastoviglie larghezza 50 drunk foto batterie sony np cgil it la porta dalle sette chiavi inculo supporto per plasma web cam new york city divx harman jeep cherokee 2 8 crd bmw guasti fox getright 5.0.2 cd cocciante notre dame video di california acronis true image server auto noleggio barcellona pozzo gotto blackwood, algernon textbridge pro katie price sexy kit scaffale lisola del sogno - amori e canzoni plotter a1 hp 430 ponography saez gps bt 77 hifi 5 1 borsa louis vuitton luoghi pubblici ups 2 000 fiat stilo jtd sw cordless logitech dinovo v150 usb driver hotel lecco porno black easyshare v530 foto pancioni big boob compaq amd sempron 3200 windous media la commedia di dio frasi santini vanessa vanna namie amuro bomboniera fai te invito ad un compleanno errore 734 sat modem pci ub40 breath daniela santanche bianca d antonio yamaha rx-v 2500 orologio philip watch serena gritta ci vorrebbe un amico disco latino igor sibaldi canon bubblejet pixmania audi a3 toscana hp 9300 china rose baccaro dolore sigma 55-200mm f4-5 6 dc elettrostimolatori gymmy 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