Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christoph E. Koch
conf.researchr.org general profile
ICFP 2018 profile
POPL 2017 profile
POPL 2018 profile
SPLASH 2017 profile
SPLASH 2019 profile
SPLASH 2024 profile
Registered user since Tue 26 Sep 2017
Name:
Christoph E. Koch
Affiliation:
EPFL
Contributions
2024
GPCE
Author of Yin-Yang: Concealing the Deep Embedding of DSLs within the GPCE 2024-track
2019
GPCE
Author of Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) within the GPCE 2019-track
2018
TyDe
Author of Extended Abstract: Comprehending Monoids with Class within the TyDe 2018-track
POPL
Author of Unifying Analytic and Statically-Typed Quasiquotes within the Research Papers-track
Author of Unifying Analytic and Statically-Typed Quasiquotes within the Artifact Evaluation-track
2017
GPCE
Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track
Scala
Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track
RDP
Author of Building performance-sensitive systems in high-level languages within the RDP-track
Share
x
Wed 9 Jul 05:29