- Fausto Spoto, Étienne Payet. Magic-sets for localised analysis of Java bytecode. Higher-Order and Symbolic Computation, 23(1):29-86, 2010.
- Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie. Linearity and iterator types for Gödel s System. Higher-Order and Symbolic Computation, 23(1):1-27, 2010.
- Axel Simon, Andy King. The two variable per inequality abstract domain. Higher-Order and Symbolic Computation, 23(1):87-143, 2010.
- Serrano, Manuel, Queinnec, Christian. A multi-tier semantics for Hop. Higher-Order and Symbolic Computation, , 2010.
- Jean Bresson, Carlos Agon, Gérard Assayag. Visual Lisp/CLOS programming in OpenMusic. Higher-Order and Symbolic Computation, 22(1):81-111, 2009.
- Kenichi Asai. On typing delimited continuations: three new solutions to the printf problem. Higher-Order and Symbolic Computation, 22(3):275-291, 2009.
- Richard Bornat. Peter Landin: a computer scientist who inspired a generation. Higher-Order and Symbolic Computation, 22(4):295-298, 2009.
- Kevin Hammond, Greg Michaelson. The Peter Landin prize. Higher-Order and Symbolic Computation, 22(4):305-312, 2009.
- Olivier Danvy, Julian A. Padget. Editorial. Higher-Order and Symbolic Computation, 22(1):1, 2009.
- Zena M. Ariola, Hugo Herbelin, Amr Sabry. A type-theoretic foundation of delimited continuations. Higher-Order and Symbolic Computation, 22(3):233-273, 2009.