| 2017 | A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. Kazutaka Matsuda, Kazuyuki Asada |
| 2017 | Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). Daniil Berezun, Neil D. Jones |
| 2017 | Cost versus precision for approximate typing for Python. Levin Fritz, Jurriaan Hage |
| 2017 | Detecting code clones with gaps by function applications. Tsubasa Matsushita, Isao Sasano |
| 2017 | Functional parallels of sequential imperatives (short paper). Tiark Rompf, Kevin J. Brown |
| 2017 | Interactive data representation migration: exploiting program dependence to aid program transformation. Krishna Narasimhan, Christoph Reichenbach, Julia Lawall |
| 2017 | Language-integrated query with ordering, grouping and outer joins (poster paper). Tatsuya Katsushima, Oleg Kiselyov |
| 2017 | Lightweight soundness for towers of language extensions. Alejandro Serrano, Jurriaan Hage |
| 2017 | PEG parsing in less space using progressive tabling and dynamic analysis. Fritz Henglein, Ulrik Terp Rasmussen |
| 2017 | Predicting resource consumption of higher-order workflows. Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
| 2017 | Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017 Ulrik Pagh Schultz, Jeremy Yallop |
| 2017 | Refining types using type guards in TypeScript. Ivo Gabe de Wolff, Jurriaan Hage |
| 2017 | Verification of code generators via higher-order model checking. Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi |