Category:Standard ML
calcio.com konica minolta dimage 600 rebel a k a forno con piano cottura clipart cobra videochatgratis accessori per interni audi 4 miratoio mac os 10 4 tiger sacrifice by lisa gerard and peter burke von savigny udo samel jamie walters songs top sensation dulce maria clase 406 posto al sole rai it bella balilla platinum wall dating sites tu che foto arcuri totali spies frigorifero no frost classe a silver miguel bose super superman omicidio per vocazione minueto la celiachia notebook schede acquisizione e tv lamiere reggio emilia rx v2500 ragazza ischia poltrona piscina turn me on de kevin little palmari ppc xvid video codec windows dance live in trento awz 6516 motori di ricrca monica belucci sex charme martin il marziano trust wireless audio video ram notebook ddr sdram hp marlen hit mania dance 2000 2001 ka sport driana acer x700 notebook natural power www asharqalawsat com gancio orecchino eamon test lipsia citta amico maria de filippi sito ufficiale sito per scaricare musica furg una pistola per un vile test fotocamera digitali mv 750 canon fotocamera nikon 10x giochi tim sbs 350 night nurse decapitato com villaggi del ventaglio milano trieste biglietti aerei nomi cuccioli baciata john huston lotta per la vita gico tetris per computer locandina film the rock sla gasolina superfighetto it uv lampada concierto di aranjuez watt radio contax u4r oops sexy ratis hornet 2002 p4 2 4 flight sim keyserling, eduard von- donna orologi sector annuncio affitto biella cosa dancing with my lc 26p50e video cnn rivelatore gas novella grand hotel fleming violeta parra microonde combinato vapore escort girl frigorifero e congelatore classe a game boy zaffiro significado de la letra i scandalo a corte grazioli giocattoli decapitazione integrale listino prezzi ascensori boxoffice partituras de la ley nis 2005 upg foto auto elaborate tuning henryson o henderson, robert parma lamezia terme biglietti aerei manowar wheels of fire tutto va come deve andare sono le venti telepiu geometri hotel passo del tonale tesine chimica www goole com ar magix video deluxe 2005 plus atos auto scheda wlan gruppo pooh desnudo indiana jones nella rete lampada da terra illuminazione moto guzzi v11 sport weyrauch, wolfgang calendario ragazze del web giocho calcio waterfalls of the philippines frigoriferi da incasso classe a san giorgio a cremano samsung 710t monitor benq fp71g colpo grosso (dvd) generatori di trojan photos de chien donna fotografia symple red periyar dvi femmina vga maschio pixma ip4000r energy protector 600 codice penale vangog hidden scugnizza canon eos20d attrice italiana g glenn miller - la storia di glenn miller rebecca ferratti popeye. vol. 21 km0 smart fortwo diesel auto km 0 comunecusanomutri it compositor dale don nokia gps ipaq 36xx renault laguna benzina arenaria (zoologia) last minute it spinning verona boby mc ferin macromedia fireworks mx 2004 collants sin un beso oki - okipage 4w plus rs mmc memory card 512 secondi canale i love america s ela langa e cosi sopravvivere al gioco pelicula titanic family affair tu come stai baglioni testo nardi frigoriferi video cicciolina cavallo im moving on vcr lg movimento cantautori cristina aguileira www francesco renga router adsl wireless 108 spartiti caparezza nissan lombardia ver el video de tardes negras affinita nome hristo tastiera microsoft mouse e tastiere samsung q rare ricorda il suo passato, in musica lettori dvd vhs con decoder scooby-doo e la casa dei fantasmi carlo poma vincitori fotoromanzo traduzione my band fortuna gps e accessori estelle reyna whirlpool awz-9999 mostra prenotazione albergo zurigo materasso ignifughi gogol unione agricoltori terni 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 101 pages are in this category, out of 301 total.
(previous page) (next page)R
- Random number generator (device)
- Random number generator (included)
- Random numbers
- Read a file line by line
- Read entire file
- Real constants and functions
- Regular expressions
- Remove vowels from a string
- Rename a file
- Repeat
- Repeat a string
- Return multiple values
- Reverse a string
- Reverse words in a string
- Rot-13
- Run-length encoding
- Runge-Kutta method
S
- Search a list
- Search a list of records
- Secure temporary file
- SEDOLs
- Self numbers
- Sequence of non-squares
- Short-circuit evaluation
- Show ASCII table
- Show the epoch
- Sieve of Eratosthenes
- Simple windowed application
- Sleep
- Sockets
- Sort an integer array
- Sort disjoint sublist
- Sort using a custom comparator
- Sorting algorithms/Bead sort
- Sorting algorithms/Bubble sort
- Sorting algorithms/Heapsort
- Sorting algorithms/Insertion sort
- Sorting algorithms/Merge sort
- Sorting algorithms/Patience sort
- Sorting algorithms/Quicksort
- Sorting algorithms/Selection sort
- Soundex
- Split a character string based on change of character
- Stack
- Stair-climbing puzzle
- String case
- String comparison
- String concatenation
- String length
- String matching
- String prepend
- Strip a set of characters from a string
- Strip comments from a string
- Strip control codes and extended characters from a string
- Strip whitespace from a string/Top and tail
- Substring/Top and tail
- Sum and product of an array
- Sum data type
- Sum digits of an integer
- Sum of a series
- Sum of squares
- Sutherland-Hodgman polygon clipping
- System time