Dependent type (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dependent type" in English language version.

refsWebsite

Global rank English rank

low place

low place

3web.archive.org

1^st place

1^st place

383^rd place

320^th place

207^th place

136^th place

low place

low place

2sourceforge.net

1,669^th place

1,290^th place

low place

7,981^st place

low place

8,775^th place

2^nd place

2^nd place

low place

low place

low place

7,198^th place

low place

low place

69^th place

59^th place

4,903^rd place

3,679^th place

low place

low place

1code.google.com

4,942^nd place

4,061^st place

1guru-lang.googlecode.com

low place

low place

3,018^th place

1,865^th place

1st-andrews.ac.uk

1,547^th place

1,410^th place

3,502^nd place

5,090^th place

4,963^rd place

7,139^th place

low place

low place

low place

low place

ada-auth.org

"§3.2.4 Subtype Predicates". Ada Reference Manual (2012 ed.).

ada.dev

alire.ada.dev

"SPARK installation using ALIRE".

adacore.com

docs.adacore.com

"5.11.6. SPARK Lemma Library". SPARK User's Guide (25.0 ed.).
"5.2.8. Contracts for Termination". SPARK User's Guide (25.0 ed.).
"1.2. Calling and Using CCG". GNAT Pro Common Code Generator Users's Guide Supplement (25.0 ed.).
"Compiling with a non-SPARK Aware Compiler". SPARK User's Guide (25.0 ed.).

arxiv.org

Xi, Hongwei (March 2017). "Applied Type System: An Approach to Practical Programming with Theorem-Proving" (PDF). arXiv:1703.08683.

ats-lang.org

Xi, Hongwei (March 2017). "Applied Type System: An Approach to Practical Programming with Theorem-Proving" (PDF). arXiv:1703.08683.

chalmers.se

cse.chalmers.se

Bove, Ana; Dybjer, Peter (2008). Dependent Types at Work (PDF) (Report). Chalmers University of Technology.

wiki.portal.chalmers.se

"Agda download page".

code.google.com

"Guru SVN".

coq.github.io

"Introduction of SProp in Coq 8.10".

doi.org

Altenkirch, Thorsten; Danielsson, Nils Anders; Löh, Andres; Oury, Nicolas (2010). "ΠΣ: Dependent Types without the Sugar" (PDF). In Blume, Matthias; Kobayashi, Naoki; Vidal, Germán (eds.). Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Lecture Notes in Computer Science. Vol. 6009. Springer. pp. 40–55. doi:10.1007/978-3-642-12251-4_5.

github.com

"F* changes on GitHub". GitHub.
"F* v0.9.5.0 release notes on GitHub". GitHub.
"Idris git repository". GitHub. 17 May 2022.

gmane.org

permalink.gmane.org

"Announce: Agda 2.2.8". Archived from the original on 2011-07-18. Retrieved 2010-09-28.

guru-lang.googlecode.com

Aaron Stump (6 April 2009). "Verified Programming in Guru" (PDF). Archived from the original (PDF) on 29 December 2009. Retrieved 28 September 2010.

haskell.org

hackage.haskell.org

"Agda 2.6.0 changelog".

inria.fr

gforge.inria.fr

"Coq changes in Subversion repository".

ncatlab.org

Hofmann, Martin (1995), Extensional concepts in intensional type theory (PDF)

nott.ac.uk

cs.nott.ac.uk

Altenkirch, Thorsten; Danielsson, Nils Anders; Löh, Andres; Oury, Nicolas (2010). "ΠΣ: Dependent Types without the Sugar" (PDF). In Blume, Matthias; Kobayashi, Naoki; Vidal, Germán (eds.). Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Lecture Notes in Computer Science. Vol. 6009. Springer. pp. 40–55. doi:10.1007/978-3-642-12251-4_5.
"Agda Ring Solver".

psu.edu

citeseerx.ist.psu.edu

Sørensen, Morten Heine B.; Urzyczyn, Pawel (1998), Lectures on the Curry-Howard Isomorphism, CiteSeerX 10.1.1.17.7385
Brady, Edwin. "Idris, a language with dependent types — extended abstract" (PDF). CiteSeerX 10.1.1.150.9442.

quora.com

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

sourceforge.net

st-andrews.ac.uk

eb.host.cs.st-andrews.ac.uk

Brady, Edwin. "Idris, a language with dependent types — extended abstract" (PDF). CiteSeerX 10.1.1.150.9442.

uiowa.edu

cs.uiowa.edu

Petcher, Adam (May 2008). Deciding Joinability Modulo Ground Equations in Operational Type Theory (PDF) (MSc). Washington University. Retrieved 14 October 2010.

unibo.it

helm.cs.unibo.it

"Matita SVN". Archived from the original on 2006-05-08. Retrieved 2010-09-29.

web.archive.org

"Announce: Agda 2.2.8". Archived from the original on 2011-07-18. Retrieved 2010-09-28.
Aaron Stump (6 April 2009). "Verified Programming in Guru" (PDF). Archived from the original (PDF) on 29 December 2009. Retrieved 28 September 2010.
"Matita SVN". Archived from the original on 2006-05-08. Retrieved 2010-09-29.