Discipline | Computer science |
---|---|
Language | English |
Publication details | |
Former name(s) | LISP and Symbolic Computation |
Publisher | |
Standard abbreviations | |
ISO 4 | High.-Order Symb. Comput. |
Indexing | |
ISSN |
1388-3690 |
Links | |
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.
Discipline | Computer science |
---|---|
Language | English |
Publication details | |
Former name(s) | LISP and Symbolic Computation |
Publisher | |
Standard abbreviations | |
ISO 4 | High.-Order Symb. Comput. |
Indexing | |
ISSN |
1388-3690 |
Links | |
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.