Higher-Order and Symbolic Computation

<h2 id="editors">Editors</h2>
<p>Former <a href="/facts/Editor-in-chief/d76Qb3Tr">editors-in-chief</a> of the journal have been:
</p>
<ul><li><a href="/facts/Richard_P._Gabriel/0N3SGIES">Richard P. Gabriel</a>, <a href="/facts/Sun_Microsystems,_Inc./VJ9EzEFd">Sun Microsystems, Inc.</a>, USA (1988 – 1991)</li>
<li><a href="/facts/Guy_L._Steele,_Jr./amHwRA1l">Guy L. Steele Jr.</a>, Sun Microsystems, Inc., USA (1988 – 1991)</li>
<li>Robert R. Kessler, <a href="/facts/University_of_Utah/0lhlnv7c">University of Utah</a>, USA (1991 – 1998)</li></ul>
<p>The last editors-in-chief were  <a href="/facts/Olivier_Danvy/aB7RoUWE">Olivier Danvy</a> (<a href="/facts/Aarhus_University/HV9RTWYH">Aarhus University</a>) and <a href="/facts/Carolyn_Talcott/KXkGPuYN">Carolyn Talcott</a> (<a href="/facts/SRI_International/flSHunVK">SRI International</a>).
</p>
<h2 id="abstracting-and-indexing">Abstracting and indexing</h2>
<p>The journal is abstracted and indexed in <a href="/facts/InfoTrac/qCwYzbrF">Academic OneFile</a>, <a href="/facts/ACM_Computing_Reviews/h8vBkqu0">ACM Computing Reviews</a>, <a href="/facts/Association_for_Computing_Machinery/abI2atlP">ACM Digital Library</a>, Computer Abstracts International Database, Computer Science Index, Current Abstracts, <a href="/facts/EBSCO_Industries/TyRvwWEb">EBSCO</a>, <a href="/facts/EI-Compendex/EMRzFoSl">EI-Compendex</a>, <a href="/facts/Inspec/DlMIE7TM">INSPEC</a>, io-port.net, <a href="/facts/PASCAL_(database)/gpzYagfa">PASCAL</a>, <a href="/facts/Scopus/4U5YtGXd">Scopus</a>, <a href="/facts/Serials_Solutions/3rqnAEKd">Summon by Serial Solutions</a>, <a href="/facts/VINITI_Database_RAS/l1jHhfhT">VINITI Database RAS</a>, and <a href="/facts/Zentralblatt_MATH/P6rFxKKx">Zentralblatt MATH</a>.
</p>
<h2 id="see-also">See also</h2>
<ul><li><i><a href="/facts/Journal_of_Functional_Programming/G17rdzl8">Journal of Functional Programming</a></i></li>
<li><i>Journal of Functional and Logic Programming</i></li>
<li><i><a href="/facts/Journal_of_Symbolic_Computation/hEnNr3L1">Journal of Symbolic Computation</a></i></li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="https://www.springer.com/computer/theoretical+computer+science/journal/10990">Official website</a></li>
<li><a href="http://www.brics.dk/~hosc/">Journal page</a> at <a href="/facts/Aarhus_University/HV9RTWYH">Aarhus University</a></li>
<li><a href="http://springerlink.metapress.com/content/1573-0557/">Online access</a></li>
<li><a href="https://dblp.org/streams/journals/lisp">Higher-Order and Symbolic Computation</a> at <a href="/facts/DBLP/JLAIuLQQ">DBLP</a></li>
<li><a href="http://liinwww.ira.uka.de/bibliography/Ai/higherordersymbcomput.html">The Collection of Computer Science Bibliographies</a></li></ul>

Higher-Order and Symbolic Computation open-in-new

Higher-Order and Symbolic Computation