Higher-Order and Symbolic Computation

A functional approach to generic programming using adaptive traversals
A multi-tier semantics for Hop
More dependent types for distributed arrays
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008