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 2022	Author of Staged Compilation With Two-Level Type Theory within the ICFP Papers and Events-track
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