• Sign in
  • Sign up
conf.researchr.org / András Kovács
  • 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
xSun 29 Jan 03:55
using conf.researchr.org (v1.58.0)
Support page
Sign Up