Editors

Former editors-in-chief of the journal have been:

• Richard P. Gabriel, Sun Microsystems, Inc., USA (1988 – 1991)
• Guy L. Steele Jr., Sun Microsystems, Inc., USA (1988 – 1991)
• Robert R. Kessler, University of Utah, USA (1991 – 1998)

The last editors-in-chief were Olivier Danvy (Aarhus University) and Carolyn Talcott (SRI International).

Abstracting and indexing

The journal is abstracted and indexed in Academic OneFile, ACM Computing Reviews, ACM Digital Library, Computer Abstracts International Database, Computer Science Index, Current Abstracts, EBSCO, EI-Compendex, INSPEC, io-port.net, PASCAL, Scopus, Summon by Serial Solutions, VINITI Database RAS, and Zentralblatt MATH.

See also

• Journal of Functional Programming
• Journal of Functional and Logic Programming
• Journal of Symbolic Computation

External links

• Official website
• Journal page Archived 2011-06-04 at the Wayback Machine at Aarhus University
• Online access
• Higher-Order and Symbolic Computation at DBLP
• The Collection of Computer Science Bibliographies Archived 2011-08-07 at the Wayback Machine