| 2013 | A meta-circular language for active libraries. Marco Servetto, Elena Zucca |
| 2013 | A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. Álvaro García-Pérez, Pablo Nogueira |
| 2013 | Abstract syntax graphs for domain specific languages. Bruno C. d. S. Oliveira, Andres Löh |
| 2013 | Automatic inference of specifications using matching logic. María Alpuente, Marco A. Feliú, Alicia Villanueva |
| 2013 | Constraint-based locality analysis for X10 programs. Qiang Sun, Yuting Chen, Jianjun Zhao |
| 2013 | Deriving a complete type inference for hindley-milner and vector sizes using expansion. Axel Simon |
| 2013 | Fixing idioms: a recursion primitive for applicative DSLs. Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens |
| 2013 | Just do it while compiling!: fast extensible records in haskell. Bruno Martinez, Marcos Viera, Alberto Pardo |
| 2013 | Partially static operations. Peter Thiemann |
| 2013 | Practical aspects of bidirectional graph transformations. Zhenjiang Hu |
| 2013 | Precise explanation of success typing errors. Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
| 2013 | Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 Elvira Albert, Shin-Cheng Mu |
| 2013 | Security type error diagnosis for higher-order, polymorphic languages. Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
| 2013 | Shonan challenge for generative programming: short position paper. Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2013 | TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. Marco Comini, Luca Torella |
| 2013 | Towards a scalable software model checker for higher-order programs. Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi |
| 2013 | Traceability and evidence of correctness of EDSL abstractions. Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner |
| 2013 | Typing as functional-logic evaluation. Francisco Javier López-Fraguas, Enrique Martin-Martin |
| 2013 | Verified integrity properties for safe approximate program transformations. Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2013 | Verifying programs via iterated specialization. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |