Agda (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Agda" in Chinese language version.

refsWebsite

Global rank Chinese rank

1^st place

383^rd place

336^th place

low place

low place

chalmers.se

Ulf Norell. Towards a practical programming language based on dependent type theory. PhD Thesis. Chalmers University of Technology, 2007. [1] （页面存档备份，存于互联网档案馆）

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. [2013-12-24]. （原始内容 (PDF)存档于2011-07-22）.

Agda license file. [2020-01-08]. （原始内容存档于2022-04-26）.
Ulf Norell. Towards a practical programming language based on dependent type theory. PhD Thesis. Chalmers University of Technology, 2007. [1] （页面存档备份，存于互联网档案馆）
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. [2013-12-24]. （原始内容 (PDF)存档于2011-07-22）.