Standard ML (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Standard ML" in Chinese language version.

Last modified: 16:36:42, 26 December 2025 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

2422web.archive.org

1^st place

33github.com

380^th place

277^th place

32psu.edu

299^th place

591^st place

32smlfamily.github.io

low place

22doi.org

2^nd place

5^th place

22tum.de

6,595^th place

9,527^th place

21researchgate.net

96^th place

216^th place

11ed.ac.uk

1,867^th place

1,857^th place

11python.org

4,399^th place

1,922^nd place

11wpi.edu

low place

11hdl.handle.net

66^th place

243^rd place

11neu.edu

low place

11colorado.edu

2,916^th place

2,787^th place

11smlnj.org

low place

11mlton.org

low place

11elsman.com

low place

11cmu.edu

2,125^th place

1,826^th place

11polyml.org

low place

11mpi-sws.org

low place

11mosml.org

low place

11tohoku.ac.jp

8,150^th place

6,499^th place

11cakeml.org

low place

11ucl.ac.uk

1,187^th place

1,386^th place

cakeml.org (Global: low place; Chinese: low place)

CakeML（页面存档备份，存于互联网档案馆）

cmu.edu (Global: 2,125^th place; Chinese: 1,826^th place)

cs.cmu.edu

Lars Birkedal, Nick Rothwell, Mads Tofte, David N. Turner. The ML Kit, Version 1. 1993 [2021-10-19]. （原始内容存档于2021-09-13）.

colorado.edu (Global: 2,916^th place; Chinese: 2,787^th place)

cs.colorado.edu

Cardelli, Luca. Type Systems (PDF). ACM Computing Surveys. March 1996, 28 (1): 263–264 [2021-09-01]. doi:10.1145/234313.234418. （原始内容 (PDF)存档于2020-11-09）.

doi.org (Global: 2^nd place; Chinese: 5^th place)

Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）.
Cardelli, Luca. Type Systems (PDF). ACM Computing Surveys. March 1996, 28 (1): 263–264 [2021-09-01]. doi:10.1145/234313.234418. （原始内容 (PDF)存档于2020-11-09）.

ed.ac.uk (Global: 1,867^th place; Chinese: 1,857^th place)

pure.ed.ac.uk

Robin Milner. A Proposal for Standard ML (PDF). 1983 [2021-09-02]. （原始内容 (PDF)存档于2021-11-06）.
Robin Milner, Robert Harper, David B. MacQueen. Standard ML: Report ECS-LFCS-86-2 (PDF). 1986 [2021-09-02]. （原始内容 (PDF)存档于2021-09-02）. School of Informatics Laboratory for Foundations of Computer Science, Edinburgh University.

elsman.com (Global: low place; Chinese: low place)

ML Kit（页面存档备份，存于互联网档案馆）

github.com (Global: 380^th place; Chinese: 277^th place)

LunarML — The Standard ML compiler that produces Lua/JavaScript. [2024-02-23]. （原始内容存档于2024-05-25）.
SOSML（页面存档备份，存于互联网档案馆）
TILT（页面存档备份，存于互联网档案馆）

hdl.handle.net (Global: 66^th place; Chinese: 243^rd place)

Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）.

mlton.org (Global: low place; Chinese: low place)

mlton.org. [2020-09-27]. （原始内容存档于2020-08-28）.

mosml.org (Global: low place; Chinese: low place)

Moscow ML. [2021-09-02]. （原始内容存档于2022-02-12）.

mpi-sws.org (Global: low place; Chinese: low place)

HaMLet（页面存档备份，存于互联网档案馆）

neu.edu (Global: low place; Chinese: low place)

prl.ccs.neu.edu

Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）.

polyml.org (Global: low place; Chinese: low place)

Poly/ML（页面存档备份，存于互联网档案馆）

psu.edu (Global: 299^th place; Chinese: 591^st place)

citeseerx.ist.psu.edu

David MacQueen. Modules for Standard ML. LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming. August 1984: 198–207 [2021-09-01]. （原始内容存档于2021-09-01）.
David Macqueen. An Implementation of Standard ML Modules. 1988 [2021-09-03]. （原始内容存档于2021-09-03）.
David Matthews. An Implementation of Standard ML in Poly. 1986 [2021-10-19]. （原始内容存档于2021-10-26）.

python.org (Global: 4,399^th place; Chinese: 1,922^nd place)

docs.python.org

itertools — Functions creating iterators for efficient looping — Python 3.7.1rc1 documentation. docs.python.org. [2020-04-25]. （原始内容存档于2020-06-14）.

researchgate.net (Global: 96^th place; Chinese: 216^th place)

David MacQueen. Modules for Standard ML. LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming. August 1984: 198–207 [2021-09-01]. （原始内容存档于2021-09-01）.
David Macqueen. An Implementation of Standard ML Modules. 1988 [2021-09-03]. （原始内容存档于2021-09-03）.

smlfamily.github.io (Global: low place; Chinese: low place)

Robin Milner. A Proposal for Standard ML (PDF). 1983 [2021-09-02]. （原始内容 (PDF)存档于2021-11-06）.
Robin Milner, Robert Harper, David B. MacQueen. Standard ML: Report ECS-LFCS-86-2 (PDF). 1986 [2021-09-02]. （原始内容 (PDF)存档于2021-09-02）. School of Informatics Laboratory for Foundations of Computer Science, Edinburgh University.
Milner, Robin; Tofte, Mads; Harper, Robert; MacQueen, David. The Definition of Standard ML (Revised) (PDF). MIT Press. 1997 [2021-09-01]. ISBN 0-262-63181-4. （原始内容 (PDF)存档于2022-03-09）.

smlnj.org (Global: low place; Chinese: low place)

smlnj.org. [2020-04-25]. （原始内容存档于2020-05-01）.

tohoku.ac.jp (Global: 8,150^th place; Chinese: 6,499^th place)

pllab.riec.tohoku.ac.jp

SML#（页面存档备份，存于互联网档案馆）

tum.de (Global: 6,595^th place; Chinese: 9,527^th place)

isabelle.in.tum.de

Isabelle（页面存档备份，存于互联网档案馆）
The Isabelle/Isar Implementation (PDF). [2021-09-01]. （原始内容 (PDF)存档于2021-09-01）. Isabelle/ML is best understood as a certain culture based on Standard ML. Thus it is not a new programming language, but a certain way to use SML at an advanced level within the Isabelle environment. This covers a variety of aspects that are geared towards an efficient and robust platform for applications of formal logic with fully foundational proof construction — according to the well-known LCF principle. There is specific infrastructure with library modules to address the needs of this difficult task.

ucl.ac.uk (Global: 1,187^th place; Chinese: 1,386^th place)

www0.cs.ucl.ac.uk

Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code (PDF). DAMP 2009: 13–24. [2021-08-31]. （原始内容 (PDF)存档于2020-09-19）.

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

David MacQueen. Modules for Standard ML. LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming. August 1984: 198–207 [2021-09-01]. （原始内容存档于2021-09-01）.
David Macqueen. An Implementation of Standard ML Modules. 1988 [2021-09-03]. （原始内容存档于2021-09-03）.
Robin Milner. A Proposal for Standard ML (PDF). 1983 [2021-09-02]. （原始内容 (PDF)存档于2021-11-06）.
Robin Milner, Robert Harper, David B. MacQueen. Standard ML: Report ECS-LFCS-86-2 (PDF). 1986 [2021-09-02]. （原始内容 (PDF)存档于2021-09-02）. School of Informatics Laboratory for Foundations of Computer Science, Edinburgh University.
itertools — Functions creating iterators for efficient looping — Python 3.7.1rc1 documentation. docs.python.org. [2020-04-25]. （原始内容存档于2020-06-14）.
Milner, Robin; Tofte, Mads; Harper, Robert; MacQueen, David. The Definition of Standard ML (Revised) (PDF). MIT Press. 1997 [2021-09-01]. ISBN 0-262-63181-4. （原始内容 (PDF)存档于2022-03-09）.
Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）.
Cardelli, Luca. Type Systems (PDF). ACM Computing Surveys. March 1996, 28 (1): 263–264 [2021-09-01]. doi:10.1145/234313.234418. （原始内容 (PDF)存档于2020-11-09）.
smlnj.org. [2020-04-25]. （原始内容存档于2020-05-01）.
mlton.org. [2020-09-27]. （原始内容存档于2020-08-28）.
ML Kit（页面存档备份，存于互联网档案馆）
Lars Birkedal, Nick Rothwell, Mads Tofte, David N. Turner. The ML Kit, Version 1. 1993 [2021-10-19]. （原始内容存档于2021-09-13）.
Poly/ML（页面存档备份，存于互联网档案馆）
David Matthews. An Implementation of Standard ML in Poly. 1986 [2021-10-19]. （原始内容存档于2021-10-26）.
HaMLet（页面存档备份，存于互联网档案馆）
Moscow ML. [2021-09-02]. （原始内容存档于2022-02-12）.
LunarML — The Standard ML compiler that produces Lua/JavaScript. [2024-02-23]. （原始内容存档于2024-05-25）.
SML#（页面存档备份，存于互联网档案馆）
SOSML（页面存档备份，存于互联网档案馆）
Isabelle（页面存档备份，存于互联网档案馆）
The Isabelle/Isar Implementation (PDF). [2021-09-01]. （原始内容 (PDF)存档于2021-09-01）. Isabelle/ML is best understood as a certain culture based on Standard ML. Thus it is not a new programming language, but a certain way to use SML at an advanced level within the Isabelle environment. This covers a variety of aspects that are geared towards an efficient and robust platform for applications of formal logic with fully foundational proof construction — according to the well-known LCF principle. There is specific infrastructure with library modules to address the needs of this difficult task.
CakeML（页面存档备份，存于互联网档案馆）
TILT（页面存档备份，存于互联网档案馆）
Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code (PDF). DAMP 2009: 13–24. [2021-08-31]. （原始内容 (PDF)存档于2020-09-19）.

wpi.edu (Global: low place; Chinese: low place)

web.cs.wpi.edu

Damas, Luis; Milner, Robin. Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1. doi:10.1145/582153.582176. （原始内容 (PDF)存档于2022-03-22）.
Damas, Luis. Type Assignment in Programming Languages (PDF) (PhD论文). University of Edinburgh. 1985 [2021-09-02]. hdl:1842/13555. CST-33-85. （原始内容 (PDF)存档于2020-01-28）.

Standard ML (Chinese Wikipedia)

cakeml.org (Global: low place; Chinese: low place)

cmu.edu (Global: 2,125th place; Chinese: 1,826th place)

cs.cmu.edu

colorado.edu (Global: 2,916th place; Chinese: 2,787th place)

cs.colorado.edu

doi.org (Global: 2nd place; Chinese: 5th place)

ed.ac.uk (Global: 1,867th place; Chinese: 1,857th place)

pure.ed.ac.uk

elsman.com (Global: low place; Chinese: low place)

github.com (Global: 380th place; Chinese: 277th place)

hdl.handle.net (Global: 66th place; Chinese: 243rd place)

mlton.org (Global: low place; Chinese: low place)

mosml.org (Global: low place; Chinese: low place)

mpi-sws.org (Global: low place; Chinese: low place)

neu.edu (Global: low place; Chinese: low place)

prl.ccs.neu.edu

polyml.org (Global: low place; Chinese: low place)

psu.edu (Global: 299th place; Chinese: 591st place)

citeseerx.ist.psu.edu

python.org (Global: 4,399th place; Chinese: 1,922nd place)

docs.python.org

researchgate.net (Global: 96th place; Chinese: 216th place)

smlfamily.github.io (Global: low place; Chinese: low place)

smlnj.org (Global: low place; Chinese: low place)

tohoku.ac.jp (Global: 8,150th place; Chinese: 6,499th place)

pllab.riec.tohoku.ac.jp

tum.de (Global: 6,595th place; Chinese: 9,527th place)

isabelle.in.tum.de

ucl.ac.uk (Global: 1,187th place; Chinese: 1,386th place)

www0.cs.ucl.ac.uk

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

wpi.edu (Global: low place; Chinese: low place)

web.cs.wpi.edu

cmu.edu (Global: 2,125^th place; Chinese: 1,826^th place)

colorado.edu (Global: 2,916^th place; Chinese: 2,787^th place)

doi.org (Global: 2^nd place; Chinese: 5^th place)

ed.ac.uk (Global: 1,867^th place; Chinese: 1,857^th place)

github.com (Global: 380^th place; Chinese: 277^th place)

hdl.handle.net (Global: 66^th place; Chinese: 243^rd place)

psu.edu (Global: 299^th place; Chinese: 591^st place)

python.org (Global: 4,399^th place; Chinese: 1,922^nd place)

researchgate.net (Global: 96^th place; Chinese: 216^th place)

tohoku.ac.jp (Global: 8,150^th place; Chinese: 6,499^th place)

tum.de (Global: 6,595^th place; Chinese: 9,527^th place)

ucl.ac.uk (Global: 1,187^th place; Chinese: 1,386^th place)

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