Toggle navigation
Sign in
Sign up
conf.researchr.org
/
András Kovács
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2024 profile
POPL 2019 profile
POPL 2022 profile
POPL 2024 profile
Registered user since Tue 22 Jan 2019
Name:
András Kovács
Affiliation:
Eötvös Loránd University
Contributions
2024
ICFP
Author of Closure-Free Functional Programming in a Two-Level Type Theory within the ICFP Papers and Events-track
Author of Closure-Free Functional Programming in a Two-Level Type Theory within the Artifact Evaluation-track
WITS
Author of Efficient Evaluation with Controlled Definition Unfolding within the WITS 2024-track
2022
ICFP
Author of Staged Compilation With Two-Level Type Theory within the ICFP Papers and Events-track
WITS
Committee Member in Program Committee within the WITS 2022-track
2020
ICFP
Author of Elaboration with First-Class Implicit Function Types within the ICFP Program-track
2019
POPL
Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track
Share
x
Sat 27 Jul 14:45