Abstract is missing.
- Practical aspects of bidirectional graph transformationsZhenjiang Hu. 1-2 [doi]
- Security type error diagnosis for higher-order, polymorphic languagesJeroen Weijers, Jurriaan Hage, Stefan Holdermans. 3-12 [doi]
- Deriving a complete type inference for hindley-milner and vector sizes using expansionAxel Simon. 13-22 [doi]
- Typing as functional-logic evaluationFrancisco Javier López-Fraguas, Enrique Martin-Martin. 23-32 [doi]
- Precise explanation of success typing errorsKonstantinos F. Sagonas, Josep Silva, Salvador Tamarit. 33-42 [doi]
- Verifying programs via iterated specializationEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 43-52 [doi]
- Towards a scalable software model checker for higher-order programsRyosuke Sato, Hiroshi Unno, Naoki Kobayashi 0001. 53-62 [doi]
- Verified integrity properties for safe approximate program transformationsMichael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard. 63-66 [doi]
- TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systemsMarco Comini, Luca Torella. 67-70 [doi]
- Traceability and evidence of correctness of EDSL abstractionsMartin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner. 71-74 [doi]
- Partially static operationsPeter Thiemann. 75-76 [doi]
- Just do it while compiling!: fast extensible records in haskellBruno Martinez, Marcos Viera, Alberto Pardo. 77-86 [doi]
- Abstract syntax graphs for domain specific languagesBruno C. D. S. Oliveira, Andres Löh. 87-96 [doi]
- Fixing idioms: a recursion primitive for applicative DSLsDominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens. 97-106 [doi]
- A syntactic and functional correspondence between reduction semantics and reduction-free full normalisersÁlvaro García-Pérez, Pablo Nogueira. 107-116 [doi]
- A meta-circular language for active librariesMarco Servetto, Elena Zucca. 117-126 [doi]
- Automatic inference of specifications using matching logicMaría Alpuente, Marco A. Feliú, Alicia Villanueva. 127-136 [doi]
- Constraint-based locality analysis for X10 programsQiang Sun, Yuting Chen, Jianjun Zhao. 137-146 [doi]
- Shonan challenge for generative programming: short position paperBaris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan. 147-154 [doi]