Bibliography: Agda papers (Summary)

Score
FavoniaFLL160.0
XuE13-10.0
DaggittGG180.0
HuH09-90.0
SwierstraA080.0
CortinasS180.0
McBride14-20.0
KoG13-10.0
Danielsson130.0
ChapmanDMM100.0
JeffreyP110.0
OConnor16-00.0
BernardyJP100.0
DagandM140.0
AllaisA0MM180.0
OConnor190.0
BoveDS120.0
ethos-103140.0
hal-39160.0
WeirichC100.0
000110-20.0
AltenkirchDK170.0
LohM110.0
ChapmanUV170.0
ThiemannC120.0
DanielssonN080.0
OmarVHAH170.0
Pouillard110.0
HuL200.0
IonescuJ110.0
TasistroCS150.0
FlorSS150.0
Zeilberger080.0
Danielsson100.0
JeffreyR110.0
AltenkirchC090.0
JacobsND190.0
Norell090.0
AlgehedB190.0
AltenkirchK160.0
Jeffrey120.0
CockxD170.0
FlorenceYTF190.0
Dagand170.0
CockxDP140.0
Asai190.0
LicataS130.0
Allais190.0
0001OV180.0
FirsovU150.0
SerranoM180.0
basesearch-78360.0
AbelV140.0
WaltS120.0
CopelloTB140.0
FosterS11-00.0
Kahl140.0
Chapman090.0
LicataH090.0
CaretteS16-00.0
Setzer0PT140.0
Al-hassyK150.0
Kahl11-00.0
KinoshitaP140.0
CockxPD140.0
Veltri150.0
SchwaabS130.0
FirsovU15-00.0
PoulsenRTKV180.0
AhrensHLM200.00.0
UustaluVZ180.0
Escardo13-00.0
VassenaR160.0
Allais170.0
KrausECA130.0
VezzosiM0190.0
Jeffrey13-10.0
MorgensternL100.0
DiehlS130.0
CaiGRO140.0
DevrieseP130.0
LicataZH080.0
CockxDP160.0
GhaniMFS130.0
Norell130.0
LicataB150.0
Bove090.0
AltenkirchLR140.0
SculthorpeH140.0
ChengHM180.0
Jeffrey140.0
Danielsson080.0
0001VW170.0
AltenkirchD100.0
SwierstraB190.0
ethos-15920.0
CockxDP16-00.0
BernardyJP120.0
LicataF14-00.0
DagandM120.0
MaarandU190.0
PouillardP120.0
EscardoS160.0
Jeffrey13-00.0
Swierstra100.0
AltenkirchMS070.0
AngiuliMLH160.0
FirsovU130.0
AhrensCS150.0
Danielsson120.0
VassenaRGRS190.0
BoveD080.0
FredrikssonG14-00.0
ZmigrodDG180.0
McBride150.0
AhmanS130.0
Allais0MM170.0
GilbertCST190.0
0001P16-80.0
KrausS150.0
Takeyama110.0
LicataS160.0
PouillardP100.0
NoortSAP110.0
AltenkirchGHMM150.0
ChapmanUV190.0
UustaluV170.0
KellerA100.0
ForsbergS100.0
AsaiFTZ140.0
ChiangM160.0
McBride10-20.0
ethos-104790.0
HamanaF110.0
FirsovU140.0
KoG110.0
CockxD180.0
BoveDS090.0
OrtonP180.0
AhmanCU120.0
DiehlS140.0
AtkeyJG110.0
CloustonBGB150.0
EscardoX150.0
KaposiKA190.0
FavoniaS160.0
GhaniMF130.0
DiehlS160.0
Escardo13-10.0
CapriottiKV150.0
Kahl120.0
WinantCD170.0
HancockH060.0
Norell080.0
AltenkirchK16-00.0
EscardoO10-10.0
Vivekanandan18-00.0
Zeilberger090.0
Danielsson12-00.0
MuKJ080.0
EscardoX160.0
OuryS080.0
McBride12-00.0
IonescuJ120.0
Kraus160.0
BoveDN090.0
Coquand060.0
MuKJ090.0
Danielsson060.0
AltenkirchCU140.0
CurtisM150.0
Calderon180.0
NuytsVD170.0
CapperN120.0
CapperN100.0
AllaisMB130.0
AltenkirchCU100.0
Danielsson10-10.0
VeltriW190.0
LLL09diff0.0
Wadler180.0
DagandM130.0
DevrieseP11-10.0
CockxA180.0
SwierstraN130.0
ChapmanUV150.0
KokkeS150.0
OrtonP160.0
LindbladB040.0
ChapmanKNW190.0
MaarandU180.0
AngiuliMLH140.0
LicataH09-00.0
GuntherGP180.0
OmarVCH190.0
EadesP160.0
DaraisH190.0
McBride10-00.0
AltenkirchM090.0
UustaluV17-10.0
AbelAS170.0
IgriedS16-00.0
HancockMGMA130.0
OrtonP17-00.0
CaretteF170.0
SculthorpeN090.0
KansoS160.0
LempsinkLL090.0
UustaluV17-00.0
GeestS170.0