Travelled to:
1 × Canada
1 × Estonia
1 × Germany
1 × Ireland
2 × United Kingdom
4 × USA
Collaborated with:
K.Ostermann S.Erdweg C.Kästner P.G.Giarrusso J.I.Brachthäuser C.Hofer J.Trieflinger Y.Cai A.Moors F.Rieger L.C.L.Kats E.Visser T.Berger
Talks about:
languag (6) pars (4) librari (2) sensit (2) layout (2) extens (2) sugar (2) refunction (1) differenti (1) represent (1)
Person: Tillmann Rendel
DBLP: Rendel:Tillmann
Contributed to:
Wrote 14 papers:
- ICFP-2015-RendelTO #automation #pattern matching #problem
- Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
- OOPSLA-2014-RendelBO #algebra #attribute grammar
- From object algebras to attribute grammars (TR, JIB, KO), pp. 377–395.
- PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
- A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
- LDTA-2012-ErdwegGR #composition
- Language composition untangled (SE, PGG, TR), p. 7.
- SLE-2012-ErdwegRKO #generalised parsing #parsing
- Layout-Sensitive Generalized Parsing (SE, TR, CK, KO), pp. 244–263.
- ECOOP-2011-OstermannGKR #composition #information management
- Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity (KO, PGG, CK, TR), pp. 155–178.
- GPCE-2011-ErdwegKRKOV #editing #library
- Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.
- OOPSLA-2011-ErdwegRKO #named
- SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.
- OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability
- Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
- PLDI-2009-RendelOH #self
- Typed self-representation (TR, KO, CH), pp. 293–303.
- GPCE-2008-HoferORM #domain-specific language #polymorphism
- Polymorphic embedding of dsls (CH, KO, TR, AM), pp. 137–148.
- Haskell-2010-RendelO #parsing #pretty-printing #syntax
- Invertible syntax descriptions: unifying parsing and pretty printing (TR, KO), pp. 1–12.
- Haskell-2012-ErdwegRRO #haskell
- Layout-sensitive language extensibility with SugarHaskell (SE, FR, TR, KO), pp. 149–160.
- OOPSLA-2016-BrachthauserRO #parsing
- Parsing with first-class derivatives (JIB, TR, KO), pp. 588–606.