Toggle navigation
Sign in
Sign up
conf.researchr.org
/
András Kovács
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2022 profile
POPL 2019 profile
POPL 2022 profile
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
Share
x
Sun 29 Jan 03:55