ML (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "ML (programming language)" in English language version.

Last modified: 20:24:24, 5 October 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

144doi.org

2^nd place

61acm.org

1,200^th place

821^st place

61worldcat.org

4^th place

21cam.ac.uk

569^th place

354^th place

11nemerle.org

low place

11elsevier.com

365^th place

372^nd place

11hdl.handle.net

66^th place

34^th place

11web.archive.org

1^st place

11lucacardelli.name

low place

11springer.com

182^nd place

172^nd place

11github.com

380^th place

337^th place

acm.org (Global: 1,200^th place; English: 821^st place)

dl.acm.org

MacQueen, David; Harper, Robert; Reppy, John (2020-06-14). "The history of Standard ML". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–100. doi:10.1145/3386336. ISSN 2475-1421.

cam.ac.uk (Global: 569^th place; English: 354^th place)

cl.cam.ac.uk

Gordon, Michael J. C. (1996). "From LCF to HOL: a short history". Retrieved 2007-10-11.

doi.org (Global: 2^nd place; English: 2^nd place)

Gordon, M.; Milner, R.; Wadsworth, C. P. (1979). Edinburgh LCF: A Mechanized Logic of Computation. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/3-540-09724-4. ISBN 978-3-540-09724-2.
MacQueen, David; Harper, Robert; Reppy, John (2020-06-14). "The history of Standard ML". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–100. doi:10.1145/3386336. ISSN 2475-1421.
Milner, Robin (December 1978). "A theory of type polymorphism in programming". Journal of Computer and System Sciences. 17 (3): 348–375. doi:10.1016/0022-0000(78)90014-4. hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66.
Gordon, Michael J. C. (1988), "HOL: A Proof Generating System for Higher-Order Logic", in Birtwistle, Graham; Subrahmanyam, P. A. (eds.), VLSI Specification, Verification and Synthesis, vol. 35, Boston, MA: Springer US, pp. 73–128, doi:10.1007/978-1-4613-2007-4_3, ISBN 978-1-4612-9197-8, retrieved 2026-01-03

elsevier.com (Global: 365^th place; English: 372^nd place)

linkinghub.elsevier.com

Milner, Robin (December 1978). "A theory of type polymorphism in programming". Journal of Computer and System Sciences. 17 (3): 348–375. doi:10.1016/0022-0000(78)90014-4. hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66.

github.com (Global: 380^th place; English: 337^th place)

Kohlhase, Michael (2024-05-11), kohlhase/CambridgeLCF, retrieved 2026-01-03

hdl.handle.net (Global: 66^th place; English: 34^th place)

Milner, Robin (December 1978). "A theory of type polymorphism in programming". Journal of Computer and System Sciences. 17 (3): 348–375. doi:10.1016/0022-0000(78)90014-4. hdl:20.500.11820/d16745d7-f113-44f0-a7a3-687c2b709f66.

lucacardelli.name (Global: low place; English: low place)

Cardelli, Luca (1983). "ML under Unix" (PDF). Archived from the original (PDF) on November 12, 2025. Retrieved January 25, 2025.

nemerle.org (Global: low place; English: low place)

Programming language for "special forces" of developers, Russian Software Development Network: Nemerle Project Team, retrieved January 24, 2021

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Gordon, Michael J. C. (1988), "HOL: A Proof Generating System for Higher-Order Logic", in Birtwistle, Graham; Subrahmanyam, P. A. (eds.), VLSI Specification, Verification and Synthesis, vol. 35, Boston, MA: Springer US, pp. 73–128, doi:10.1007/978-1-4613-2007-4_3, ISBN 978-1-4612-9197-8, retrieved 2026-01-03

web.archive.org (Global: 1^st place; English: 1^st place)

Cardelli, Luca (1983). "ML under Unix" (PDF). Archived from the original (PDF) on November 12, 2025. Retrieved January 25, 2025.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

MacQueen, David; Harper, Robert; Reppy, John (2020-06-14). "The history of Standard ML". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–100. doi:10.1145/3386336. ISSN 2475-1421.

ML (programming language) (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

dl.acm.org

cam.ac.uk (Global: 569th place; English: 354th place)

cl.cam.ac.uk

doi.org (Global: 2nd place; English: 2nd place)

elsevier.com (Global: 365th place; English: 372nd place)