Category:Standard ML
hp dc5100 p4 520 40gb avi health insurance california monitor offerta macchina caffe vienna friends anno 4 24 episodi agriturismo pistoia trasmettitore a v senza filo accessori gazapo body builders renato zero padre nostro erika klos freeman mary eleonor rithm is dancer pavilion dv1154ea relativo elena rosci toner per brother hl 5140 milan foto esercizio gambe bangkok ristorante www simonerossi it fabriano copy 1 biglietto invito ethel barrymore frasi di buon giorno arbour 5 20 hp workstation xw6200 scsi rs elettronica hobbastank noa la vta e bella le nuvole sotto il cuscino via gambirasio bondage sex memoria 512 portatile portal del rock jeans gucci ethiopia song forno da incasso microonde il risparmione mausland entertaiment piediluco noleggio gru how deep is eldeber com fast end furious fax samsung amd 64 bit computer radio panamericana www moto sequestrate vendita it auto maserati video porno in siti italiani armi segrete del iii reich dvd xbox allevamento barboncini camedia alex piero sex vree video now mandy lynn fitness italia agenzia viaggio lazio iguana mauro picotto philips crt 19 109b60 canzoni i cento passi nike calcetto videosexy comi umberta motociclismo d epoca gomme moto poesie amicizia fred il ribelle ctx pv500t online movies ophiuchus pisino eamon frankie coppia terni ragazzo ascoli piceno la bambola di patty bravo amanti maledetti ernia inguinale le pagine di sexi caramba deluna palmari gps typhoon titanus buon compeanno ufficio sesto san giovanni mortal transfert indirizzo e mail corriere della sera wonderweb tubi lecce hp all in one 3030 tromb rs6 audi saldatrici o zone disco zone 2004 geforce nvidia maglieria astyle duomo maeci ghiro peluche lancio del ati nvidia pantaloni evisu tequila baby 51 cafe chic 1377 outside alone anastacia bando korrupto voli milano catania bibbidi bobbidi boo battello tomtom go mappe usa agriturismo san marino elaweber iceberg fluid gioco del wrestling km0 fiat punto d diesel auto km 0 school of rock theme pocket pc ipaq 1930 internazionale socialista mp3 prevendite tribale intel pentium dual vicentico los caminos de la vida paroles chansson fr toner stampante hp 2550l april lavigne vivavoce cordless siemens women hard rosse sessoestremo gumtree camere treviso grafici di figure e di passi video ard gratis rifugio barba ferrero musica la union occhiali chanel sun napoli ce ce roger stay the rolling stones 4 flicks spadolini giovanni have you ever seen the rain casi hong nhung tornio da legno sex girls vree opera hits wifi router renault scenic 2000 hard disk estraibile e floppy http mms libero it legacy sentenza 7668 96 un milione e mezzo di xbox a fine anno perversione mortale renault clio 1 2 2001 programmi antidialer collezionismo cartoline illustrate casse monitor america di notte 2 frigo con vano cantina lettore dvd divx xm400 pro kettler rx1 inizio scuole beheaded video iraq bp 6m batteria nokia batterie per mountain bike ciclismo rally monza trentino monte baldo storia di george washington kawasaki 750 nokia 7710 gps tomtom mobile www tiscali italia it telecamere digitale con dvd bagate fischia il vento sony widescreen siti di mauro picotto fine settimana week end lettori mp3 portatili samsung decorazioni torte panna simbario tilt ya head back assorbente lodi testo canzone cantante o l isola dei famosi it articoli su agatha christine samsung pc2700 foto d tanga www radiodj it leave get out lavoro calabria harmankardon hk 970 vnc c 130 hankou sony cybershot dscs60 cda9851r alpine elverum jaime king donna classe crociera susu ram 72 pin 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