András Kovács -

Registered user since Tue 22 Jan 2019

Name: András Kovács

Affiliation: Eötvös Loránd University

Contributions

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