Higher-Order and Symbolic Computation | |
Former Name: | LISP and Symbolic Computation |
Abbreviation: | High.-Order Symb. Comput. |
Discipline: | Computer science |
Publisher: | Springer Science+Business Media |
Issn: | 1388-3690 |
Website: | https://www.springer.com/computer/theoretical+computer+science/journal/10990 |
Higher-Order and Symbolic Computation (formerly LISP 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.
Former editors-in-chief of the journal have been:
The last editors-in-chief were Olivier Danvy (Aarhus University) and Carolyn Talcott (SRI International).
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.