Papers Using Agda

There is also a list of publications using Agda available at https://researchr.org/bibliography/agda-papers/publications, which can be exported to BibTeX and other formats.

List of papers sorted by name of first author:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

in Cubical Agda]] by Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani (CPP 2020)

O

P

Q

R

Linear, Session-Typed Languages]] by Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser (CPP 2020)

S

T

U

V

W

X

Z

(232 papers as of 2019-12-28.)