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; LEGO; Mizar; Isar; OCaml; kepler98
Cited in: 516 Documents
all top 5

Cited by 738 Authors

19 Hasan, Osman
19 Tahar, Sofiène
11 Paulson, Lawrence Charles
10 Blanchette, Jasmin Christian
9 Nipkow, Tobias
7 Tarlecki, Andrzej
6 Harper, Robert
6 Pitts, Andrew M.
6 Popescu, Andrei
5 Amjad, Hasan
5 Kaliszyk, Cezary
5 Miller, Dale Allen
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 Benzmüller, Christoph Ewald
4 Boulton, Richard J.
4 Coppo, Mario
4 Farmer, William M.
4 Florido, Mário
4 Geuvers, Jan Herman
4 Honda, Kohei
4 Kfoury, Assaf J.
4 Kunčar, Ondřej
4 Moore, J Strother
4 Owens, Scott
4 Pfenning, Frank
4 Sannella, Donald T.
4 Tofte, Mads
4 Urban, Josef
4 Weber, Tjark
4 Wells, Joe B.
4 Wenzel, Makarius
4 Yoshida, Nobuko
3 Abramsky, Samson
3 Böhme, Sascha
3 Bulwahn, Lukas
3 Santos Costa, Vítor
3 Dezani-Ciancaglini, Mariangiola
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 Mitchell, John C.
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 Reppy, John H.
3 Ronchi Della Rocca, Simona
3 Schrijvers, Tom
3 Song, Xiaoyu
3 Tian, Cong
3 Traytel, Dmitry
3 Tzevelekos, Nikos
3 Woodcock, James C. P.
3 Zhang, Nan
2 Abbasi, Naeem
2 Achten, Peter
2 Adams, Mark
2 Ahmed, Waqar
2 Akbarpour, Behzad
2 Andrews, Peter B.
2 Banach, Richard
2 Bauer, Andrej
2 Bentkamp, Alexander
2 Benton, Nick
2 Berger, Martin J.
2 Bertot, Yves
2 Birkedal, Lars
2 Blandford, Ann
2 Brown, Chad Edward
2 Cardelli, Luca
2 Cavalcanti, Ana
2 Curzon, Paul
2 Damiani, Ferruccio
2 Danvy, Olivier
2 Delahaye, David
2 Eisenberg, Richard A.
2 Fernández, Maribel
2 Fisher, Kathleen
2 Fleuriot, Jacques D.
2 Fleury, Mathias
2 Fluet, Matthew T.
2 Fontaine, Pascal
2 Foster, Simon
2 Fruja, Nicu G.
2 Gabbay, Murdoch James
2 Gay, Simon J.
2 Guan, Yong
...and 638 more Authors
all top 5

Cited in 51 Serials

82 Theoretical Computer Science
51 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
10 Formal Methods in System Design
9 Acta Informatica
9 Annals of Pure and Applied Logic
8 Logical Methods in Computer Science
7 Information Processing Letters
7 Journal of Computer and System Sciences
6 The Journal of Logic and Algebraic Programming
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

Citations by Year