swMATH ID: 1218
Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Description: ML (’Meta Language’) is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as ”Lisp with types”. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors.[1] ML provides pattern matching for function arguments, garbage collection, imperative programming, call-by-value and currying. It is used heavily in programming language research and is one of the few languages to be completely specified and verified using formal semantics. Its types and pattern matching make it well-suited and commonly used to operate on other formal languages, such as in compiler writing, automated theorem proving and formal verification. (wikipedia)
Homepage: http://smlnj.org/sml97.html
Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; PVS; Nuprl; LCF; Automath; ACL2; NQTHM; VAMPIRE; Archive Formal Proofs; Miranda; Twelf; Mizar; LEGO; OCaml; ETPS
Referenced in: 484 Publications
all top 5

Referenced by 695 Authors

19 Hasan, Osman
19 Tahar, Sofiène
9 Blanchette, Jasmin Christian
9 Nipkow, Tobias
9 Paulson, Lawrence Charles
7 Tarlecki, Andrzej
6 Harper, Robert
6 Popescu, Andrei
5 Amjad, Hasan
5 Miller, Dale Allen
5 Pitts, Andrew M.
5 Pretnar, Matija
5 Roşu, Grigore
5 Şerbănuţă, Traian Florin
5 Slind, Konrad
5 van Bakel, Steffen
5 Wadler, Philip Lee
4 Basin, David A.
4 Coppo, Mario
4 Farmer, William M.
4 Geuvers, Jan Herman
4 Honda, Kohei
4 Kaliszyk, Cezary
4 Kfoury, Assaf J.
4 Kunčar, Ondřej
4 Moore, J Strother
4 Owens, Scott
4 Sannella, Donald T.
4 Tofte, Mads
4 Urban, Josef
4 Weber, Tjark
4 Wells, Joe B.
4 Yoshida, Nobuko
3 Abramsky, Samson
3 Benzmüller, Christoph Ewald
3 Böhme, Sascha
3 Boulton, Richard J.
3 Bulwahn, Lukas
3 Duan, Zhenhua
3 Duggan, Dominic
3 Felty, Amy P.
3 Huet, Gerard P.
3 Hurd, Joe
3 Li, Yongjian
3 Meseguer Guaita, José
3 Mosses, Peter D.
3 Murawski, Andrzej S.
3 Myreen, Magnus O.
3 Nederpelt, Rob
3 Nielson, Flemming
3 Obua, Steven
3 Ohori, Atsushi
3 Pfenning, Frank
3 Reppy, John H.
3 Ronchi Della Rocca, Simona
3 Schrijvers, Tom
3 Song, Xiaoyu
3 Tian, Cong
3 Traytel, Dmitry
3 Tzevelekos, Nikos
3 Wenzel, Makarius
3 Zhang, Nan
2 Abbasi, Naeem
2 Achten, Peter
2 Adams, Mark
2 Ahmed, Waqar
2 Akbarpour, Behzad
2 Andrews, Peter B.
2 Bauer, Andrej
2 Benton, Nick
2 Berger, Martin J.
2 Bertot, Yves
2 Birkedal, Lars
2 Blandford, Ann
2 Brown, Chad Edward
2 Cavalcanti, Ana
2 Santos Costa, Vítor
2 Curzon, Paul
2 Damiani, Ferruccio
2 Danvy, Olivier
2 Delahaye, David
2 Dezani-Ciancaglini, Mariangiola
2 Eisenberg, Richard A.
2 Fernández, Maribel
2 Fleuriot, Jacques D.
2 Fleury, Mathias
2 Florido, Mário
2 Fluet, Matthew T.
2 Fontaine, Pascal
2 Fruja, Nicu G.
2 Gabbay, Murdoch James
2 Gay, Simon J.
2 Gordon, Mike J.
2 Guan, Yong
2 Haftmann, Florian
2 Hagiya, Masami
2 Hales, Thomas Callister
2 Homeier, Peter V.
2 Hung, William N. N.
2 Jay, C. Barry
...and 595 more Authors
all top 5

Referenced in 51 Serials

82 Theoretical Computer Science
49 Journal of Automated Reasoning
30 Information and Computation
23 Formal Aspects of Computing
20 Journal of Functional Programming
13 Journal of Symbolic Computation
11 Higher-Order and Symbolic Computation
11 Journal of Applied Logic
9 Acta Informatica
9 Formal Methods in System Design
8 Annals of Pure and Applied Logic
7 Information Processing Letters
7 Journal of Computer and System Sciences
6 The Journal of Logic and Algebraic Programming
6 Logical Methods in Computer Science
4 Artificial Intelligence
4 Science of Computer Programming
4 New Generation Computing
4 RAIRO. Theoretical Informatics and Applications
3 MSCS. Mathematical Structures in Computer Science
3 Theory and Practice of Logic Programming
3 Computer Languages, Systems & Structures
3 Mathematics in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Programming and Computer Software
2 Journal of Computer Science and Technology
2 Journal of Combinatorial Optimization
1 Mathematical Methods in the Applied Sciences
1 The Mathematical Intelligencer
1 Information Sciences
1 Discrete & Computational Geometry
1 International Journal of Parallel Programming
1 Applied Mathematics Letters
1 Journal of Cryptology
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Advances in Applied Clifford Algebras
1 Annals of Mathematics and Artificial Intelligence
1 Reliable Computing
1 Journal of Heuristics
1 Mathematical Problems in Engineering
1 Logic Journal of the IGPL
1 Fundamenta Informaticae
1 Sādhanā
1 Cambridge Tracts in Theoretical Computer Science
1 Electronic Notes in Theoretical Computer Science
1 Forum of Mathematics, Pi
1 Nonlinear Analysis. Theory, Methods & Applications
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Texts in Theoretical Computer Science. An EATCS Series

Referencing Publications by Year