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.

Editors

Former editors-in-chief of the journal have been:
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.