ML 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 Standard Articles 4 Publications describing the Software, including 4 Publications in zbMATH Year Introduction to HOL. A theorem proving environment for higher order logic. Zbl 0779.68007Gordon, Mike J. (ed.); Melham, T. F. (ed.) 1993 Elements of ML programming. Zbl 0821.68025Ullman, Jeffrey D. 1993 ML for the working programmer. Zbl 0746.68019Paulson, Laurence C. 1990 A theory of type polymorphism in programming. Zbl 0388.68003Milner, Robin 1978 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 all top 5 Referenced in 28 Fields 459 Computer science (68-XX) 140 Mathematical logic and foundations (03-XX) 5 Information and communication theory, circuits (94-XX) 4 History and biography (01-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 4 Category theory; homological algebra (18-XX) 4 Probability theory and stochastic processes (60-XX) 4 Operations research, mathematical programming (90-XX) 3 Number theory (11-XX) 3 Numerical analysis (65-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Convex and discrete geometry (52-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Referencing Publications by Year