| 1 | -- | 2 | Oleg Kiselyov, Julia Lawall, Simon Thompson. Editorial PEPM2012 |
| 3 | -- | 38 | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. Polynomial-time inverse computation for accumulative functions with multiple data traversals |
| 39 | -- | 84 | Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi. Functional programs as compressed data |
| 85 | -- | 125 | Markus Degen, Peter Thiemann, Stefan Wehr. The interaction of contracts and laziness |
| 127 | -- | 163 | Isao Sasano, Takumi Goto. An approach to completing variable names for implicitly typed functional languages |
| 165 | -- | 207 | Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky. Scala-Virtualized: linguistic reuse for deep embeddings |