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

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

cmu.edu

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

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

dx.doi.org

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

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

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

github.com

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

handle.net

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

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

mosml.org

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

mpi-sws.org

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

neu.edu

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

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

psu.edu

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

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

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

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

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

tohoku.ac.jp

pllab.riec.tohoku.ac.jp

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

tum.de

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

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

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

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）.