Category:Standard ML
site de carros turning crossfire roadster florida home ventole coolermaster zhejiang luca del grande fratello lettori dvd dvx portatili gama, arnaldo www dams roma3 it missioni popolari componi bilancia digitale per neonati rocki roads urlando contro il cielo mp3 frankie furb video tabulature chitarra ps2 max drive udp stream player 0 2 beta exe donne telegiornale le montagne canon cp 400 fiat 4x4 le tentazioni di cristina offerte auto nuove la noche cubana cd cobra mp3 gf4 foto sexy ricetta dello strudel raccoglitori ufficio dragonstea din tei ozone commento su generale sony dcr-hc17e symantec norton antivirus sexy lingerie romeo gestioni macro canon obiettivi classifica cd singoli wireless turbo access point router orchestra riccardi da cosa nasce cosa sito di belli e brutti rugby uomo abbigliamento www club privee it tocca tutti i punti pezzolo la sala giochi di xbox live toner olivetti d-copia 15 gastrectomia totale archos gmini 120 sborra sulla faccia osiris maxtor onetouch ii firewire 800 ascensore di lusso troie catanesi belstaff abbigliamento prezzi biglietti treni italia lultimo agguato oroscpo free got you d e g scienza unitaria direzionale microfono microfoni hp vp 6111 i had the time of my life gioco platform gameboy advance sculacciate racconti rowenta kg 64 clip art laurea eredita di amadeus chase, richard volney noches de travesura www ivss gov ve com brath easy google moj posao monitor lcd samsung 19 tv tuner hp pavilion 64 fuga dal isola lotus esprit 2.2 turbo pp informatics hotel 5 stelle londra ella fitzgerald gps mmc voli malpensa casa vacanza vieste elena2005 cast titanic notebook acer travel mate mutuo informazioni inno nazionale degli stati uniti d america un colpo di pistola canguros yamaha hi-fi pc wireless joypad mi gaita y yo altre notti addizioni www googlee it de rossi testo fuck it tradotto carosone video mp3 thomson lyra 20gb gay nudi video gratis kataweb it blocchi autocad 2d im lost without you simsalagrimm richard wagner tastiera accessori crea la tua faccina logitech cuffie 250 scanner a tamburo tiziana ferro e hen bizzarre sex gps 300 memory stick duo pro 1gb gene wilder www co camcom it key taquilla d50 18 55 200 impianti home theatre amstrad www sirca it locali hard roma herramientas de negociacion fisher foto gratuite di donne mature safre nel lazio super flash mario bros waitec 7 olio capelli philips 50pf7320 insegna scorrevole i cavalieri del drago hartur king ice-t o g jamelia see it in the boys eyes www americanexpress it cincinnati barbie moda ata-5 hard disk e floppy tintobras biografia buero vallejo dvd e computer film gioco di donna videogiochi gamecube chattanooga haiduc dragostea di tei sandrinha nua sborra calda tra le dita cesareragazzi ed io tra di voi siti di pompini felicity huffman masterizzatore dvd esterno per pc wonderful world lyrics wmpr danuna sinudyne 29 the voyeur cellulare spia email certificata google fa date per provini film firenze peg-perego pramette una donna tra due mondi la romeria masakazu katsura www piombino com emanuela folliero 2005 the sims su nintendo ds www glivec it miss brasile ragazzi senza disagio devianza e gerhard winkler disegni futurama exilim pro ex-p700 jimmi fontana tecnocasa appartamenti pavia e provinc mari land microgonna il mistero delle cinque dita il poliziotto saturno (astronautica) betsy elaborazione scooter ddr vdata one shot 80 volume 2 trick me di kelis il segno di robin hood canon 18-55mm shadows ashlee simpson assault - profondo nero video clip metallica volare basso prezzo age of empire iii accessori 2020 corsair cmx 3200xl rita moric ultimo cd 883 mu immortal disalberare foto di donne porno 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