conf.researchr.org / András Kovács

Registered user since Tue 22 Jan 2019

Name:András Kovács
Affiliation:Eötvös Loránd University

Contributions

WITS 2022 Committee Member in Program Committee within the WITS 2022-track
ICFP 2020 Author of Elaboration with First-Class Implicit Function Types within the ICFP Program-track
POPL 2019 Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track