- Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo. Graphical and incremental type inference. A graph transformation approach. Higher-Order and Symbolic Computation, 26(1-4):29-62, 2013.
- Thomas Horstmeyer, Rita Loogen. Graph-based communication in Eden. Higher-Order and Symbolic Computation, 26(1-4):3-28, 2013.
- Ian Zerny. On graph rewriting, reduction, and evaluation in the presence of cycles. Higher-Order and Symbolic Computation, 26(1-4):63-84, 2013.
- Viktória Zsók, Rex L. Page, Julia Lawall. Editorial TFP 2009/2010. Higher-Order and Symbolic Computation, 26(1-4):1-2, 2013.
- Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi. Functional programs as compressed data. Higher-Order and Symbolic Computation, 25(1):39-84, 2012.
- Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. Polynomial-time inverse computation for accumulative functions with multiple data traversals. Higher-Order and Symbolic Computation, 25(1):3-38, 2012.
- Oleg Kiselyov, Julia Lawall, Simon Thompson. Editorial PEPM2012. Higher-Order and Symbolic Computation, 25(1):1-2, 2012.
- Markus Degen, Peter Thiemann, Stefan Wehr. The interaction of contracts and laziness. Higher-Order and Symbolic Computation, 25(1):85-125, 2012.
- Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky. Scala-Virtualized: linguistic reuse for deep embeddings. Higher-Order and Symbolic Computation, 25(1):165-207, 2012.
- Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp. Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. Higher-Order and Symbolic Computation, 25(2-4):255-274, 2012.