Agda (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Agda (programming language)" in English language version.

refsWebsite

Global rank English rank

2web.archive.org

1^st place

1^st place

low place

7,981^st place

low place

7,198^th place

low place

low place

low place

low place

low place

low place

1visualstudio.com

low place

low place

383^rd place

320^th place

4,903^rd place

3,679^th place

1uu.nl

2,467^th place

2,049^th place

69^th place

59^th place

arxiv.org (Global: 69^th place; English: 59^th place)

Abel, Andreas (16 July 1998). "foetus -- Termination Checker for Simple Functional Programs". arXiv:2407.06924 [cs.PL].

atom.io (Global: low place; English: low place)

"agda-mode on Atom". Retrieved 7 April 2017.

cfv.jp (Global: low place; English: low place)

ocvs.cfv.jp

"Agda: An Interactive Proof Editor". Archived from the original on 8 October 2011. Retrieved 20 October 2014.

chalmers.se (Global: low place; English: 7,981^st place)

cse.chalmers.se

Ulf Norell. Towards a practical programming language based on dependent type theory. PhD Thesis. Chalmers University of Technology, 2007. [1]

lists.chalmers.se

"[Agda] origin of "Agda"? (Agda mailing list)". Retrieved 24 October 2020.

github.com (Global: 383^rd place; English: 320^th place)

"Nat from Agda standard library". GitHub. Retrieved 20 July 2014.

haskell.org (Global: low place; English: 7,198^th place)

code.haskell.org

Agda license file

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

hal.inria.fr

Van Der Walt, Paul, and Wouter Swierstra. "Engineering proof by reflection in Agda." In Implementation and Application of Functional Languages, pp. 157-173. Springer Berlin Heidelberg, 2013. [2]

unipi.it (Global: low place; English: low place)

mailserver.di.unipi.it

Coquand, Catarina; Synek, Dan; Takeyama, Makoto (2005). An Emacs interface for type directed support constructing proofs and programs (PDF). European Joint Conferences on Theory and Practice of Software 2005. Archived from the original (PDF) on 22 July 2011.

uu.nl (Global: 2,467^th place; English: 2,049^th place)

staff.science.uu.nl

Kokke, Pepijn, and Wouter Swierstra. "Auto in Agda."

visualstudio.com (Global: low place; English: low place)

marketplace.visualstudio.com

"agda-mode - Visual Studio Marketplace". marketplace.visualstudio.com. Retrieved 6 June 2023.

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

"Agda: An Interactive Proof Editor". Archived from the original on 8 October 2011. Retrieved 20 October 2014.
Coquand, Catarina; Synek, Dan; Takeyama, Makoto (2005). An Emacs interface for type directed support constructing proofs and programs (PDF). European Joint Conferences on Theory and Practice of Software 2005. Archived from the original (PDF) on 22 July 2011.