Higher-Order and Symbolic Computation

Higher-Order and Symbolic Computation was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and programming language theory. The final issue appeared in 2013.

WWW Official Site

Editors

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

Richard P. Gabriel, Sun [Microsystems, Inc.], USA
Guy L. Steele Jr., Sun Microsystems, Inc., USA
Robert R. Kessler, University of Utah, USA

The last editors-in-chief were Olivier Danvy and Carolyn Talcott.

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.