Christoph E. Koch

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Lambda Calculus

Control Software

Multiresolution

Top Venues

Proc. ACM Program. Lang.

Publications

Amir Shaikhha, Vojin Jovanovic, Christoph E. Koch
Compiler generation for performance-oriented embedded DSLs (short paper). GPCE (2019)
Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch
Unifying analytic and statically-typed quasiquotes. Proc. ACM Program. Lang. 2 (POPL) (2018)
Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
Squid: type-safe, hygienic, and reusable quasiquotes. SCALA@SPLASH (2017)
Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
Quoted staged rewriting: a practical approach to library-defined optimizations. GPCE (2017)