Category:Standard ML: Difference between revisions
Content added Content deleted
mNo edit summary |
(Undo revision 7424 by Special:Contributions/YpbVtc (User talk:YpbVtc)) |
||
Line 1: | Line 1: | ||
[[Category:Solutions by Programming Language]] |
|||
[http://elixirium.ifrance.com/lib/porno-anali.html porno anali] [http://tulip123456.ifrance.com/topic/girl-muscle.html girl muscle] [http://bakadeshi.ifrance.com/img/styles/kournikova-nuda.html kournikova nuda] [http://cincydj.ifrance.com/images/small/sport-nuda/ sport nuda] [http://bakadeshi.ifrance.com/img/styles/funy-sex.html funy sex cartoons] [http://end14april.ifrance.com/blog/foto-in.html foto in mutandine delle donne italiane] [http://furrysoap.ifrance.com/porno-matura/ porno matura gratis] [http://jnk713.ifrance.com/img/styles/black-sex/ black sex clips] [http://furrysoap.ifrance.com/dragostea-din/ dragostea din tei suonerie gratis] [http://cincydj.ifrance.com/images/small/incontri-erotici/ incontri erotici] [http://elixirium.ifrance.com/lib/sexy-anna.html sexy anna] [http://cincydj.ifrance.com/images/small/sex-rape/ sex rape] [http://end14april.ifrance.com/blog/pagine-personali.html pagine personali gay] [http://elixirium.ifrance.com/lib/manga-sexy.html manga sexy] [http://tulip123456.ifrance.com/topic/voyeur-sex.html voyeur sex] [http://furrysoap.ifrance.com/www-canale/ www canale cinque it] [http://bakadeshi.ifrance.com/img/styles/michel-vieth.html michel vieth gratis] [http://tulip123456.ifrance.com/topic/sfondo-gratis.html sfondo gratis computer] [http://bakadeshi.ifrance.com/img/styles/west-sussex.html west sussex] [http://adrienneee.ifrance.com/blog/hotel-saint/ hotel saint giorge] [http://spirit-psyki.ifrance.com/lib/nada-valgo.html nada valgo sin tu amor gratis] [http://jnk713.ifrance.com/img/styles/traduzioni-latino/ traduzioni latino gratis] [http://competitio.ifrance.com/photo-asiatique/ photo asiatique sexe] [http://tulip123456.ifrance.com/topic/siti-su.html siti su foto porno] [http://spirit-psyki.ifrance.com/lib/karasxxx.html karasxxx] [http://doctorpinkerton.ifrance.com/lib/video-clip/ video clip mature porno] [http://elixirium.ifrance.com/lib/mercato-settimanale.html mercato settimanale mozzo] [http://furrysoap.ifrance.com/mitchel-viet/ mitchel viet sex video] [http://tulip123456.ifrance.com/topic/sesso-in.html sesso in publico] [http://adrienneee.ifrance.com/blog/video-hard/ video hard porno gratis] [http://bakadeshi.ifrance.com/img/styles/video-shock.html video shock di donne famose] [http://competitio.ifrance.com/giochi-porno/ giochi porno reali gratis] [http://mi-kkiechang.ifrance.com/star-porno.html star porno] [http://bakadeshi.ifrance.com/img/styles/sexy-jordan.html sexy jordan] [http://doctorpinkerton.ifrance.com/lib/disegni-manga/ disegni manga gratis] [http://elixirium.ifrance.com/lib/britney-spears.html britney spears nuda] [http://elixirium.ifrance.com/lib/sex-and.html sex and the city. the complete series] [http://tulip123456.ifrance.com/topic/donne-single.html donne single over 50] [http://adrienneee.ifrance.com/blog/www-lesbo/ www lesbo super com] [http://end14april.ifrance.com/blog/eamon-fuck.html eamon fuck it] [http://spirit-psyki.ifrance.com/lib/fuck-it.html fuck it i do want to back] [http://elixirium.ifrance.com/lib/adult-entertainment.html adult entertainment] [http://furrysoap.ifrance.com/sesso-adulto/ sesso adulto] [http://spirit-psyki.ifrance.com/lib/uomini-nudisti.html uomini nudisti] [http://mi-kkiechang.ifrance.com/girls-girls.html girls girls girls] [http://cincydj.ifrance.com/images/small/tette-enormi/ tette enormi] [http://elixirium.ifrance.com/lib/tesine-gratis.html tesine gratis per esame di stato] [http://adrienneee.ifrance.com/blog/racconti-erotici/ racconti erotici su stuprata] [http://mi-kkiechang.ifrance.com/hinh-sex.html hinh sex ha kieu anh] [http://competitio.ifrance.com/donne-/ donne mature per singolo] [http://tulip123456.ifrance.com/topic/bisex.html bisex 20] [http://competitio.ifrance.com/caprioli-porno/ caprioli porno] [http://furrysoap.ifrance.com/eros/ eros 2006] [http://spirit-psyki.ifrance.com/lib/transex-video.html transex video gratis] [http://jnk713.ifrance.com/img/styles/movies-free/ movies free sex] [http://doctorpinkerton.ifrance.com/lib/www-sex/ www sex com amirican] [http://furrysoap.ifrance.com/calendari-donne/ calendari donne nude] [http://spirit-psyki.ifrance.com/lib/www-sexi.html www sexi com] [http://elixirium.ifrance.com/lib/video-porno.html video porno gratis] [http://doctorpinkerton.ifrance.com/lib/galler-foto/ galler foto porno] [http://spirit-psyki.ifrance.com/lib/video-porno.html video porno gtatis] [http://cincydj.ifrance.com/images/small/foto-attori/ foto attori nudi] [http://cincydj.ifrance.com/images/small/video-sexi/ video sexi di arcuri] [http://mi-kkiechang.ifrance.com/immagini-porno.html immagini porno gratis britney spear] [http://adrienneee.ifrance.com/blog/ricezione-canali/ ricezione canali] [http://doctorpinkerton.ifrance.com/lib/sexy-over/ sexy over 40] [http://competitio.ifrance.com/sesso-grandefratello/ sesso grandefratello tedesco] [http://adrienneee.ifrance.com/blog/sesso-hard/ sesso hard cazzi grossi in figa] [http://furrysoap.ifrance.com/games-cartoon/ games cartoon porno] [http://mi-kkiechang.ifrance.com/mega-clitoride.html mega clitoride] [http://competitio.ifrance.com/inviare-sms/ inviare sms gratiss] [http://furrysoap.ifrance.com/superpoderosas/ superpoderosas] [http://mi-kkiechang.ifrance.com/orgasmo-in.html orgasmo in una donna] [http://mi-kkiechang.ifrance.com/sexo-en.html sexo en las chicas] [http://spirit-psyki.ifrance.com/lib/quattro-donne.html quattro donne nella notte] [http://furrysoap.ifrance.com/calza-sexi/ calza sexi] [http://mi-kkiechang.ifrance.com/testo-canzone.html testo canzone fuck it i don t want yo] [http://jnk713.ifrance.com/img/styles/ilaria-d/ ilaria d amico video sexy] [http://jnk713.ifrance.com/img/styles/www-sexo/ www sexo co mx] [http://adrienneee.ifrance.com/blog/midi-colonna/ midi colonna sonore p gratis] [http://bakadeshi.ifrance.com/img/styles/roxana-y.html roxana y jorge] [http://doctorpinkerton.ifrance.com/lib/www-sex/ www sex s] [http://competitio.ifrance.com/www-lesborama/ www lesborama com] [http://doctorpinkerton.ifrance.com/lib/eros-glamor/ eros glamor] [http://furrysoap.ifrance.com/sesso-video/ sesso video gratuiti] [http://end14april.ifrance.com/blog/full-film.html full film porno free] [http://adrienneee.ifrance.com/blog/chicas-fotos/ chicas fotos desnudas] [http://end14april.ifrance.com/blog/girls-italia.html girls italia] [http://jnk713.ifrance.com/img/styles/progammi-gratis/ progammi gratis] [http://doctorpinkerton.ifrance.com/lib/fuck-u/ fuck u] [http://cincydj.ifrance.com/images/small/ragazze-arezzo/ ragazze arezzo] [http://mi-kkiechang.ifrance.com/juliana-lopes.html juliana lopes sexy] [http://jnk713.ifrance.com/img/styles/www-video/ www video michell vieth xxx com] [http://adrienneee.ifrance.com/blog/fotos-pornograficas/ fotos pornograficas gratuitas] [http://end14april.ifrance.com/blog/zsnake.html zsnake] [http://mi-kkiechang.ifrance.com/gratis-uomini.html gratis uomini nudi] [http://cincydj.ifrance.com/images/small/video-tgp/ video tgp gratis] [http://doctorpinkerton.ifrance.com/lib/extreme-pornograffiti/ extreme pornograffiti] [http://doctorpinkerton.ifrance.com/lib/detective-conan/ detective conan xxx] [http://elixirium.ifrance.com/lib/modelos-porno.html modelos porno] [http://furrysoap.ifrance.com/sesso-figa/ sesso figa leccare] [http://doctorpinkerton.ifrance.com/lib/gabriel-soto/ gabriel soto desnudo] [http://elixirium.ifrance.com/lib/singolo-anale.html singolo anale] [http://elixirium.ifrance.com/lib/uomini-nudi.html uomini nudi muscolosi] [http://end14april.ifrance.com/blog/webcam-sex.html webcam sex gratuita no registrazione n] [http://furrysoap.ifrance.com/gioco-pocket/ gioco pocket pc gratis] [http://mi-kkiechang.ifrance.com/giocatori-desnudo.html giocatori desnudo] [http://furrysoap.ifrance.com/maiala-pompinara/ maiala pompinara gratis] [http://bakadeshi.ifrance.com/img/styles/www-sexo.html www sexo con] [http://spirit-psyki.ifrance.com/lib/una-noche.html una noche fria callejeros] [http://elixirium.ifrance.com/lib/gratis-danza.html gratis danza del ventre] [http://bakadeshi.ifrance.com/img/styles/annunci-con.html annunci con foto gay x gay] [http://tulip123456.ifrance.com/topic/superenalotto-software.html superenalotto software gratis] [http://spirit-psyki.ifrance.com/lib/http-japanesegirl.html http japanesegirl com] [http://doctorpinkerton.ifrance.com/lib/sexy-women/ sexy women] [http://jnk713.ifrance.com/img/styles/gioco-spec/ gioco spec ops 1 gratis in flash] [http://doctorpinkerton.ifrance.com/lib/video-di/ video di sesso gratis] [http://competitio.ifrance.com/foto-di/ foto di amori gay] [http://doctorpinkerton.ifrance.com/lib/playboy-the/ playboy the mansion ps2] [http://jnk713.ifrance.com/img/styles/carlos-baute/ carlos baute desnudo] [http://cincydj.ifrance.com/images/small/un-altro/ un altro party per playboy] [http://mi-kkiechang.ifrance.com/traduzione-canzone.html traduzione canzone fuck you right back e] [http://doctorpinkerton.ifrance.com/lib/nudo-e/ nudo e crudo] [http://mi-kkiechang.ifrance.com/giochi-porno.html giochi porno reali] [http://end14april.ifrance.com/blog/foto-di.html foto di alanis morissette nuda] [http://jnk713.ifrance.com/img/styles/xxxfamily/ xxxfamily] [http://mi-kkiechang.ifrance.com/sexoanimal.html sexoanimal] [http://adrienneee.ifrance.com/blog/b-i/ b i g beautifull internet girls] [http://elixirium.ifrance.com/lib/porno-masochiste.html porno masochiste] [http://tulip123456.ifrance.com/topic/formazione-gratis.html formazione gratis trento] [http://tulip123456.ifrance.com/topic/gay-gay.html gay gay] [http://cincydj.ifrance.com/images/small/vendere-propri/ vendere propri film porno amatoriali] [http://bakadeshi.ifrance.com/img/styles/password-rubate.html password rubate per siti porno] [http://doctorpinkerton.ifrance.com/lib/traduzione-di/ traduzione di fuck it girl version] [http://cincydj.ifrance.com/images/small/iranian-photo/ iranian photo sexy] [http://mi-kkiechang.ifrance.com/transex-cuneo.html transex cuneo] [http://adrienneee.ifrance.com/blog/www-orgasme/ www orgasme fr] [http://bakadeshi.ifrance.com/img/styles/fuck-it.html fuck it mp3] [http://adrienneee.ifrance.com/blog/george-dann/ george dann] [http://elixirium.ifrance.com/lib/video-clip.html video clip porno gratis] [http://bakadeshi.ifrance.com/img/styles/donne-nudiste.html donne nudiste single cercasi nord lombardia] [http://spirit-psyki.ifrance.com/lib/www-video.html www video porno] [http://furrysoap.ifrance.com/gay-amateur/ gay amateur] [http://cincydj.ifrance.com/images/small/control-analysis/ control analysis] [http://end14april.ifrance.com/blog/fotos-mujeres.html fotos mujeres desnudas] [http://tulip123456.ifrance.com/topic/free-sexy.html free sexy] [http://doctorpinkerton.ifrance.com/lib/www-collant/ www collant e sesso] [http://elixirium.ifrance.com/lib/modem-analogico.html modem analogico esterno seriale] [http://doctorpinkerton.ifrance.com/lib/web-cam/ web cam donne da guardare gratis] [http://cincydj.ifrance.com/images/small/allison-white/ allison white porno star] [http://cincydj.ifrance.com/images/small/belle-nere/ belle nere gratis] [http://end14april.ifrance.com/blog/foto-de.html foto de mujeres denudas] [http://jnk713.ifrance.com/img/styles/sesso-con/ sesso con cugine] [http://end14april.ifrance.com/blog/fuck-it.html fuck it ea] [http://spirit-psyki.ifrance.com/lib/italiachiamami-donne.html italiachiamami donne] [http://cincydj.ifrance.com/images/small/test-sesso/ test sesso donna] [http://cincydj.ifrance.com/images/small/fuck-women/ fuck women vree] [http://competitio.ifrance.com/rulette-gratis/ rulette gratis subito online] [http://adrienneee.ifrance.com/blog/donne-orientali/ donne orientali] [http://mi-kkiechang.ifrance.com/card-adulti.html card adulti] [http://bakadeshi.ifrance.com/img/styles/scarica-gratis.html scarica gratis codici sky] [http://doctorpinkerton.ifrance.com/lib/peru-chicas/ peru chicas q quieren sexo] [http://bakadeshi.ifrance.com/img/styles/foto-video.html foto video cazzi gratis] [http://tulip123456.ifrance.com/topic/xxx-club.html xxx club tv] [http://doctorpinkerton.ifrance.com/lib/lycos-eros/ lycos eros] [http://cincydj.ifrance.com/images/small/santana-jorge/ santana jorge moreno satellite] [http://jnk713.ifrance.com/img/styles/organizza-orge/ organizza orge] [http://spirit-psyki.ifrance.com/lib/canale-televisivo.html canale televisivo] [http://elixirium.ifrance.com/lib/calendario-canalis.html calendario canalis] [http://spirit-psyki.ifrance.com/lib/www-porno.html www porno de dibujos animados] [http://end14april.ifrance.com/blog/testo-e.html testo e traduzione di fuck you too frank] [http://bakadeshi.ifrance.com/img/styles/eros-sesso.html eros sesso amore] [http://furrysoap.ifrance.com/foro-porno/ foro porno free orge] [http://elixirium.ifrance.com/lib/porno-alte.html porno alte prestazioni] [http://doctorpinkerton.ifrance.com/lib/not-like/ not like the other girls] [http://end14april.ifrance.com/blog/live-sex.html live sex videos] [http://mi-kkiechang.ifrance.com/file-midi.html file midi gratis] [http://spirit-psyki.ifrance.com/lib/www-sexymovies.html www sexymovies com] [http://end14april.ifrance.com/blog/video-da.html video da vedere gratis] [http://competitio.ifrance.com/foto-di/ foto di spiagge nudiste] [http://tulip123456.ifrance.com/topic/dvd-gay.html dvd gay] [http://spirit-psyki.ifrance.com/lib/nake.html nake] [http://bakadeshi.ifrance.com/img/styles/sequestro-film.html sequestro film porno] [http://mi-kkiechang.ifrance.com/paolabarale.html paolabarale] [http://end14april.ifrance.com/blog/prima-prova.html prima prova analisi di un testo non lett] [http://end14april.ifrance.com/blog/cartoline-sex.html cartoline sex] [http://elixirium.ifrance.com/lib/paola-e.html paola e chiara lyrics] [http://end14april.ifrance.com/blog/veronica-di.html veronica di uomini e donne] [http://tulip123456.ifrance.com/topic/sesso-tra.html sesso tra donne] [http://end14april.ifrance.com/blog/xxxsex.html xxxsex] [http://competitio.ifrance.com/file-filmati/ file filmati tutto gratis] [http://jnk713.ifrance.com/img/styles/ragazze-calabresi/ ragazze calabresi] [http://furrysoap.ifrance.com/figa-pelosa/ figa pelosa gratis] [http://adrienneee.ifrance.com/blog/shemale-foto/ shemale foto gratis] [http://end14april.ifrance.com/blog/clitoride-sex.html clitoride sex] [http://jnk713.ifrance.com/img/styles/marvin-gaye/ marvin gaye. heaven sent] [http://spirit-psyki.ifrance.com/lib/desnudos-gays.html desnudos gays] [http://end14april.ifrance.com/blog/transessuali-nude.html transessuali nude] [http://elixirium.ifrance.com/lib/myskina-topless.html myskina topless] [http://elixirium.ifrance.com/lib/coppia-ragazze.html coppia ragazze] [[Category:Solutions by Programming Language]] |
|||
'''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. |
'''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. |
||
Revision as of 06:26, 26 August 2007
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