Higher-Order and Symbolic Computation

, Volume 23, Issue 4, pp 465–487

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008


  • Peter Achten
    • Radboud University Nijmegen
    • Radboud University Nijmegen
    • Open University of the Netherlands
  • Pieter Koopman
    • Radboud University Nijmegen
  • Marco T. Morazán
    • Seton Hall University

DOI: 10.1007/s10990-011-9074-z

Cite this article as:
Achten, P., van Eekelen, M., Koopman, P. et al. Higher-Order Symb Comput (2010) 23: 465. doi:10.1007/s10990-011-9074-z


The Trends in Functional Programming Symposia are an annual event dedicated to promoting new research directions in functional programming and to investigating the relationship between functional programming and other branches of Computer Science. The TFP series started in 1999 and the 2008 meeting marked the first decade of the symposium. In this paper we identify and discuss the trends presented at TFP using a macro-vision lens that looks at topics in the first two volumes of TFP and the two most recent volumes of TFP. The goal is to calibrate how trends have changed over a decade instead of analyzing trends with a micro-vision lens that focuses on changes from year to year. The major trends identified are work on parallel functional programming, types, formal verification, implementation of functional languages, and application development.


TrendsFunctional parallel programmingTypesVerificationImplementationApplications
Download to read the full article text

Copyright information

© Springer Science+Business Media, LLC 2011