Standard ML (Chinese Wikipedia)

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

refsWebsite

Global rank Chinese rank

22web.archive.org

1^st place

3github.com

383^rd place

336^th place

2psu.edu

207^th place

628^th place

2smlfamily.github.io

low place

2doi.org

2^nd place

23^rd place

2tum.de

7,448^th place

low place

1researchgate.net

120^th place

337^th place

1ed.ac.uk

1,871^st place

2,278^th place

1python.org

2,232^nd place

1,779^th place

1wpi.edu

low place

1handle.net

102^nd place

492^nd place

1neu.edu

low place

1colorado.edu

2,526^th place

2,449^th place

1smlnj.org

low place

1mlton.org

low place

1elsman.com

low place

1cmu.edu

1,564^th place

1,640^th place

1polyml.org

low place

1mpi-sws.org

low place

1mosml.org

low place

1tohoku.ac.jp

9,956^th place

6,539^th place

1cakeml.org

low place

1ucl.ac.uk

1,306^th place

1,261^st place

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

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

cmu.edu (Global: 1,564^th place; Chinese: 1,640^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,526^th place; Chinese: 2,449^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: 23^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）.
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,871^st place; Chinese: 2,278^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: 383^rd place; Chinese: 336^th place)

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

handle.net (Global: 102^nd place; Chinese: 492^nd place)

hdl.handle.net

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: 207^th place; Chinese: 628^th 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: 2,232^nd place; Chinese: 1,779^th 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: 120^th place; Chinese: 337^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: 9,956^th place; Chinese: 6,539^th place)

pllab.riec.tohoku.ac.jp

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

tum.de (Global: 7,448^th place; Chinese: low 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,306^th place; Chinese: 1,261^st 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: 1,564th place; Chinese: 1,640th place)

cs.cmu.edu

colorado.edu (Global: 2,526th place; Chinese: 2,449th place)

cs.colorado.edu

doi.org (Global: 2nd place; Chinese: 23rd place)

ed.ac.uk (Global: 1,871st place; Chinese: 2,278th place)

pure.ed.ac.uk

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

github.com (Global: 383rd place; Chinese: 336th place)

handle.net (Global: 102nd place; Chinese: 492nd place)

hdl.handle.net

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: 207th place; Chinese: 628th place)

citeseerx.ist.psu.edu

python.org (Global: 2,232nd place; Chinese: 1,779th place)

docs.python.org

researchgate.net (Global: 120th place; Chinese: 337th place)

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

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

tohoku.ac.jp (Global: 9,956th place; Chinese: 6,539th place)

pllab.riec.tohoku.ac.jp

tum.de (Global: 7,448th place; Chinese: low place)

isabelle.in.tum.de

ucl.ac.uk (Global: 1,306th place; Chinese: 1,261st 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: 1,564^th place; Chinese: 1,640^th place)

colorado.edu (Global: 2,526^th place; Chinese: 2,449^th place)

doi.org (Global: 2^nd place; Chinese: 23^rd place)

ed.ac.uk (Global: 1,871^st place; Chinese: 2,278^th place)

github.com (Global: 383^rd place; Chinese: 336^th place)

handle.net (Global: 102^nd place; Chinese: 492^nd place)

psu.edu (Global: 207^th place; Chinese: 628^th place)

python.org (Global: 2,232^nd place; Chinese: 1,779^th place)

researchgate.net (Global: 120^th place; Chinese: 337^th place)

tohoku.ac.jp (Global: 9,956^th place; Chinese: 6,539^th place)

tum.de (Global: 7,448^th place; Chinese: low place)

ucl.ac.uk (Global: 1,306^th place; Chinese: 1,261^st place)

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