依赖类型 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "依赖类型" in Chinese language version.

refsWebsite

Global rank Chinese rank

14web.archive.org

1^st place

2code.google.com

4,942^nd place

3,539^th place

2inria.fr

4,903^rd place

7,274^th place

1chalmers.se

low place

1nott.ac.uk

low place

1gmane.org

low place

1ats-lang.org

low place

1sourceforge.net

1,669^th place

1,456^th place

1psu.edu

207^th place

628^th place

1semanticscholar.org

11^th place

332^nd place

1doi.org

2^nd place

23^rd place

1guru-lang.googlecode.com

low place

1uiowa.edu

3,018^th place

3,791^st place

1github.com

383^rd place

336^th place

1st-andrews.ac.uk

1,547^th place

1,388^th place

1quora.com

3,502^nd place

4,252^nd place

1unibo.it

4,963^rd place

low place

1ucsc.edu

3,619^th place

3,327^th place

ats-lang.org

ATS Changelog. [2014-08-24]. （原始内容存档于2012-03-02）.

chalmers.se

wiki.portal.chalmers.se

Agda download page. [2014-08-24]. （原始内容存档于2019-06-27）.

code.google.com

Guru （页面存档备份，存于互联网档案馆）
Guru SVN. [2014-08-24]. （原始内容存档于2015-11-18）.

doi.org

Augustsson, Lennart. Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. 1998: 239–250. CiteSeerX 10.1.1.47.155 . S2CID 18331937. doi:10.1145/289423.289451 .

github.com

Idris git repository. ^{[永久失效連結]}

gmane.org

permalink.gmane.org

Announce: Agda 2.2.8. [2014-08-24]. （原始内容存档于2011-07-18）.

guru-lang.googlecode.com

Aaron Stump. Verified Programming in Guru (PDF). 6 April 2009 [28 September 2010]. （原始内容 (PDF)存档于2009年12月29日）.

inria.fr

coq.inria.fr

Announce:Calculus of Inductive Constructions. [2019-04-12]. （原始内容存档于2020-11-11）.

gforge.inria.fr

Coq CHANGES in Subversion repository. [2014-08-24]. （原始内容存档于2018-09-29）.

nott.ac.uk

cs.nott.ac.uk

Agda Ring Solver. [2014-08-24]. （原始内容存档于2009-04-17）.

psu.edu

citeseerx.ist.psu.edu

Augustsson, Lennart. Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. 1998: 239–250. CiteSeerX 10.1.1.47.155 . S2CID 18331937. doi:10.1145/289423.289451 .

quora.com

Edwin Brady. How does Idris compare to other dependently-typed programming languages?.

semanticscholar.org

api.semanticscholar.org

Augustsson, Lennart. Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. 1998: 239–250. CiteSeerX 10.1.1.47.155 . S2CID 18331937. doi:10.1145/289423.289451 .

sourceforge.net

email from ATS inventor Hongwei Xi. [2014-08-24]. （原始内容存档于2013-02-04）.

st-andrews.ac.uk

cs.st-andrews.ac.uk

Idris, a language with dependent types - extended abstract (PDF). [2014-08-24]. （原始内容 (PDF)存档于2011-07-16）.

ucsc.edu

sage.soe.ucsc.edu

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

uiowa.edu

cs.uiowa.edu

Adam Petcher. Deciding Joinability Modulo Ground Equations in Operational Type Theory (PDF). 1 April 2008 [14 October 2010]. （原始内容存档 (PDF)于2010-07-19）.

unibo.it

helm.cs.unibo.it

Matita SVN. [2014-08-24]. （原始内容存档于2006-05-08）.

web.archive.org

Announce:Calculus of Inductive Constructions. [2019-04-12]. （原始内容存档于2020-11-11）.
Agda download page. [2014-08-24]. （原始内容存档于2019-06-27）.
Agda Ring Solver. [2014-08-24]. （原始内容存档于2009-04-17）.
Announce: Agda 2.2.8. [2014-08-24]. （原始内容存档于2011-07-18）.
ATS Changelog. [2014-08-24]. （原始内容存档于2012-03-02）.
email from ATS inventor Hongwei Xi. [2014-08-24]. （原始内容存档于2013-02-04）.
Coq CHANGES in Subversion repository. [2014-08-24]. （原始内容存档于2018-09-29）.
Guru （页面存档备份，存于互联网档案馆）
Guru SVN. [2014-08-24]. （原始内容存档于2015-11-18）.
Aaron Stump. Verified Programming in Guru (PDF). 6 April 2009 [28 September 2010]. （原始内容 (PDF)存档于2009年12月29日）.
Adam Petcher. Deciding Joinability Modulo Ground Equations in Operational Type Theory (PDF). 1 April 2008 [14 October 2010]. （原始内容存档 (PDF)于2010-07-19）.
Idris, a language with dependent types - extended abstract (PDF). [2014-08-24]. （原始内容 (PDF)存档于2011-07-16）.
Matita SVN. [2014-08-24]. （原始内容存档于2006-05-08）.
Sage （页面存档备份，存于互联网档案馆）