| 2019 | Futures and promises in Haskell and Scala. | Tamino Dauth, Martin Sulzmann |
| 2019 | Extracting a call-by-name partial evaluator from a proof of termination. | Kenichi Asai |
| 2018 | Program generation for ML modules (short paper). | Takahisa Watanabe, Yukiyoshi Kameyama |
| 2018 | Checking cryptographic API usage with composable annotations (short paper). | Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
| 2018 | Developments in property-based testing (invited talk). | Jan Midtgaard |
| 2018 | Recursive programs in normal form (short paper). | Barry Jay |
| 2018 | A guess-and-assume approach to loop fusion for program verification. | Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
| 2018 | On the cost of type-tag soundness. | Ben Greenman, Zeina Migeed |
| 2018 | Gradually typed symbolic expressions. | David Broman, Jeremy G. Siek |
| 2018 | Selective CPS transformation for shift and reset. | Kenichi Asai, Chihiro Uehara |
| 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 |
| 2017 | Lightweight soundness for towers of language extensions. | Alejandro Serrano, Jurriaan Hage |
| 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 | Detecting code clones with gaps by function applications. | Tsubasa Matsushita, Isao Sasano |
| 2017 | A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. | Kazutaka Matsuda, Kazuyuki Asada |
| 2017 | Predicting resource consumption of higher-order workflows. | Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
| 2017 | Language-integrated query with ordering, grouping and outer joins (poster paper). | Tatsuya Katsushima, Oleg Kiselyov |
| 2017 | PEG parsing in less space using progressive tabling and dynamic analysis. | Fritz Henglein, Ulrik Terp Rasmussen |
| 2017 | Cost versus precision for approximate typing for Python. | Levin Fritz, Jurriaan Hage |
| 2017 | Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). | Daniil Berezun, Neil D. Jones |
| 2016 | Staging generic programming. | Jeremy Yallop |
| 2016 | Finally, safely-extensible and efficient language-integrated query. | Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2016 | Everything old is new again: quoted domain-specific languages. | Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler |