''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation''; print: , online: ) was a

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

journal A journal, from the Old French ''journal'' (meaning "daily"), may refer to: * Bullet journal, a method of personal organization *Diary, a record of what happened over the course of a day or other period *Daybook, also known as a general journal, a ...

published by

Springer Science+Business Media Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

. It focuses on programming concepts and abstractions and

programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is clo ...

. The final issue appeared in 2013.

Editors

Former

editors-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

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 The University of Utah (U of U, UofU, or simply The U) is a public research university in Salt Lake City, Utah. It is the flagship institution of the Utah System of Higher Education. The university was established in 1850 as the University of D ...

, USA (1991 – 1998) The last editors-in-chief were

Olivier Danvy Olivier Danvy is a French computer scientist specializing in programming languages, partial evaluation, and continuations. He is a professor at Yale-NUS College in Singapore. Danvy received his PhD degree from the Université Paris VI in 198 ...

(

Aarhus University Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra G ...

) and Carolyn Talcott (

SRI International SRI International (SRI) is an American nonprofit organization, nonprofit scientific research, scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as ...

Abstracting and indexing

The journal is abstracted and indexed in

Academic OneFile InfoTrac is a family of full-text databases of content from academic journals and general magazines, of which the majority are targeted to the English-speaking North American market. As is typical of online proprietary databases, various forms ...

, ACM Computing Reviews,

ACM Digital Library The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

, Computer Abstracts International Database, Computer Science Index,

Current Abstracts Currents, Current or The Current may refer to: Science and technology * Current (fluid), the flow of a liquid or a gas ** Air current, a flow of air ** Ocean current, a current in the ocean *** Rip current, a kind of water current ** Current (stre ...

EBSCO EBSCO Industries is an American company founded in 1944 by Elton Bryson Stephens Sr. and headquartered in Birmingham, Alabama. The ''EBSCO'' acronym is based on ''Elton Bryson Stephens Company''. EBSCO Industries is a diverse company of over 40 ...

EI-Compendex Ei Compendex is an engineering bibliographic database published by Elsevier. The name "Compendex" stands for COMPuterized ENgineering inDEX. It covers scientific literature pertaining to engineering materials. It started in 1884 under the ...

, INSPEC, io-port.net, PASCAL,

Scopus Scopus is Elsevier's abstract and citation database launched in 2004. Scopus covers nearly 36,377 titles (22,794 active titles and 13,583 inactive titles) from approximately 11,678 publishers, of which 34,346 are peer-reviewed journals in top-l ...

, Summon by Serial Solutions,

VINITI Database RAS VINITI Database RAS is a database provided by the All-Russian Institute for Scientific and Technical Information (VINITI). The database is devoted to scientific publications. It is described as a large abstracting database. In general, it is index ...

, and

Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastruct ...

External links

* {{Official, https://www.springer.com/computer/theoretical+computer+science/journal/10990
Journal page
at

Online access

Higher-Order and Symbolic Computation
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since No ...

The Collection of Computer Science Bibliographies
Computer science journals Springer Science+Business Media academic journals

Editors

Abstracting and indexing

See also

External links