Journal: Higher-Order and Symbolic Computation

Volume 25, Issue 1

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