Abstract is missing.
- Lessons from a web-based IDE and runtimeManuel Fähndrich. 1-2 [doi]
- Combinators for impure yet hygienic code generationYukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. 3-14 [doi]
- Effective quotation: relating approaches to language-integrated queryJames Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler. 15-26 [doi]
- Compile-time reflection and metaprogramming for JavaWeiyu Miao, Jeremy G. Siek. 27-38 [doi]
- Monadic combinators for "Putback" style bidirectional programmingHugo Pacheco, Zhenjiang Hu, Sebastian Fischer. 39-50 [doi]
- Semantic bidirectionalization revisitedMeng Wang, Shayan Najd. 51-62 [doi]
- Generating attribute grammar-based bidirectional transformations from rewrite rulesPedro Martins, João Saraiva, João Paulo Fernandes, Eric {Van Wyk}. 63-70 [doi]
- Optimizing SYB is easy!Michael D. Adams, Andrew Farmer, José Pedro Magalhães. 71-82 [doi]
- QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutinesGabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi. 83-94 [doi]
- Partial evaluation as universal compiler tool: experiences from the SAC Eco systemSven-Bodo Scholz. 95-96 [doi]
- The HERMIT in the stream: fusing stream fusion's concatMapAndrew Farmer, Christian Höner zu Siederdissen, Andy Gill. 97-108 [doi]
- Type-changing rewriting and semantics-preserving transformationSean Leather, Johan Jeuring, Andres Löh, Bram Schuur. 109-120 [doi]
- An operational semantics for android activitiesÉtienne Payet, Fausto Spoto. 121-132 [doi]
- Early detection of type errors in C++ templatesSheng Chen 0008, Martin Erwig. 133-144 [doi]
- Lazy stateless incremental evaluation machinery for attribute grammarsJeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra. 145-156 [doi]
- Deriving interpretations of the gradually-typed lambda calculusÁlvaro García-Pérez, Pablo Nogueira, Ilya Sergey. 157-168 [doi]
- Automating property-based testing of evolving web servicesHuiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco. 169-180 [doi]
- A modular and generic analysis server system for functional logic programsMichael Hanus, Fabian Skrlac. 181-188 [doi]
- HIPimm: verifying granular immutability guaranteesAndreea Costea, Asankhaya Sharma, Cristina David. 189-194 [doi]