Sign In

Login

Password

Forgot Password ? Sign Up

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
1st place
1st place
2chalmers.se
low place
7,981st place
1haskell.org
low place
7,198th place
1cfv.jp
low place
low place
1unipi.it
low place
low place
1atom.io
low place
low place
1visualstudio.com
low place
low place
1github.com
383rd place
320th place
1inria.fr
4,903rd place
3,679th place
1uu.nl
2,467th place
2,049th place
1uni-muenchen.de
3,337th place
3,444th place

atom.io

cfv.jp

ocvs.cfv.jp

  • "Agda: An Interactive Proof Editor". Archived from the original on 2011-10-08. Retrieved 2014-10-20.

chalmers.se

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

github.com

haskell.org

code.haskell.org

inria.fr

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]

uni-muenchen.de

tcs.informatik.uni-muenchen.de

  • Abel, Andreas. "foetus – Termination checker for simple functional programs." Programming Lab Report 474 (1998). [3]

unipi.it

mailserver.di.unipi.it

uu.nl

staff.science.uu.nl

visualstudio.com

marketplace.visualstudio.com

web.archive.org

  • "Agda: An Interactive Proof Editor". Archived from the original on 2011-10-08. Retrieved 2014-10-20.
  • Coquand, Catarina; Synek, Dan; Takeyama, Makoto. 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 2011-07-22.