• Sign in
  • Sign up
conf.researchr.org / Lionel Parreaux
  • ECOOP 2019 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • POPL 2018 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
Lionel Parreaux

Registered user since Mon 16 Jan 2017

Name: Lionel Parreaux

Country: Switzerland

Affiliation: EPFL

Personal website: https://people.epfl.ch/lionel.parreaux/?lang=en

Contributions

GPCE 2020 Author of Multi-stage Programming in the Large with Staged Classes within the GPCE-track
SPLASH 2020 Mentor in Mentors within the PLMW-track
ICFP 2020 Author of The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) within the ICFP Program-track
Scala 2019 Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track
ECOOP 2019 Author of Finally, a Polymorphic Linear Algebra Language within the Research Papers-track
Author of Finally, a Polymorphic Linear Algebra Language within the Posters-track
TyDe 2018 Author of Extended Abstract: Comprehending Monoids with Class within the TyDe 2018-track
Scala 2017 Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track
GPCE 2017 Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track
POPL 2018 Author of Unifying Analytic and Statically-Typed Quasiquotes within the Artifact Evaluation-track
Author of Unifying Analytic and Statically-Typed Quasiquotes within the Research Papers-track
SPLASH 2017 Author of Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations within the Posters-track

Share
xThu 28 Jan 16:47
using conf.researchr.org (v1.41.0)
Support page
Sign Up