Concepedia

Agda

Agda is a dependently typed functional programming language and proof assistant that extends the Calculus of Inductive Constructions with inductive-recursive definitions and strategic automation, distinguishing it from other interactive theorem provers by enabling the direct representation of proofs as programs with precise type-theoretic foundations.

104

Publications

3.1K

Citations

142

Authors

62

Institutions

Publications per year

2017–2026

30

Parents

Publications

104

1–5 of 104

Authors

142

  1. AA
    Andreas Abel

    Ludwig-Maximilians-Universität München, Germany

    15 publications · 511 citations

    13

    h-index

  2. TA
    Thorsten Altenkirch

    University of Nottingham, United Kingdom

    13 publications · 343 citations

    11

    h-index

  3. CM
    Conor McBride

    University of Strathclyde, United Kingdom

    10 publications · 324 citations

    10

    h-index

  4. AK
    Ambrus Kaposi

    Semmelweis University, Hungary

    6 publications · 169 citations

    6

    h-index

  5. NA
    Nils Anders Danielsson

    Chalmers University of Technology, Sweden

    5 publications · 126 citations

    5

    h-index

1–5 of 142

Institutions

62

  1. Chalmers University of Technology

    Gothenburg, Sweden

    11 h-index

    23 publications

    850 citations

  2. University of Nottingham

    Nottingham, United Kingdom

    11 h-index

    25 publications

    695 citations

  3. University of Gothenburg

    Gothenburg, Sweden

    10 h-index

    13 publications

    372 citations

  4. University of Strathclyde

    Glasgow, United Kingdom

    10 h-index

    16 publications

    553 citations

  5. IT University of Copenhagen

    Copenhagen, Denmark

    5 h-index

    6 publications

    184 citations

  6. KU Leuven

    Leuven, Belgium

    5 h-index

    12 publications

    357 citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    6 publications

    120 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    4 h-index

    5 publications

    151 citations

1–8 of 62

Venues

  1. ACM SIGPLAN Notices

    10 publications · 218 citations

    10

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 10 publications · 338 citations

    10

    h-index

  3. Journal of Functional Programming

    7 publications · 202 citations

    7

    h-index

  4. Logical Methods in Computer Science

    LMCS · 5 publications · 68 citations

    5

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 97 citations

    5

    h-index

1–5