Collaborated with:A.Shaikhha L.Parreaux V.Jovanovic Antoine Voizard
Talks about:quasiquot (1) approach (1) practic (1) perform (1) librari (1) generat (1) static (1) rewrit (1) orient (1) compil (1)
Person: Christoph E. Koch
DBLP: Koch:Christoph_E=
Contributed to:
20172019
2018Wrote 3 papers:
- GPCE-2017-ParreauxSK #approach #optimisation #staged
- Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.
- GPCE-2019-ShaikhhaJK #compilation #domain-specific language #embedded #generative
- Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
- POPL-2018-ParreauxVSK #static typing
- Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.