Programming Language Journals, Books, and Publishers

Journals, Periodicals, and Newsletters

• ACM Transactions on Programming Languages and Systems (TOPLAS)
• The Bulletin of the IGPL (Interest Group in Pure and Applied Logics)
• The Chicago Journal of Theoretical Computer Science
• The Journal of Forth Application and Research
• The Journal of Functional Programming (Cambridge University Press)
• The Journal of Functional and Logic Programming (MIT Press)
• The Journal of the Interest Group in Pure and Applied Logics (IGPL)
• The Journal of Symbolic Computation
• Logic in Computer Science (LICS) Newsletter Archive
• Logic Programming Newsletter Archive
• Theoretical Computer Science (Elsevier)
• Theory and Applications of Categories

Special Issues and Calls for Papers

• FACS Europe Call for Columns on functional programming
• The Journal of Symbolic Computation's Special Issue on Executable Temporal Logics

Books (and Errata)

• Algol-Like Languages, ed. by P.W. O'Hearn and R.D. Tennent (Birkhauser Verlag AG).
• Common Lisp: The Language by Guy Steele (Digital Press)
• Compiling with Continuations by Andrew Appel (Cambridge University Press)
• Elementary Standard ML by Greg Michaelson (UCL Press)
• Elements of Functional Programming by Chris Reade (Addison-Wesley)
• Essentials of Programming Languages by Daniel Friedman, Mitchell Wand, and Christopher Haynes (MIT Press)
• Foundations for Programming Languages by John Mitchell (MIT Press)
• High Performance Compilers for Parallel Computing by Michael Wolfe (Addison-Wesley)
• Introduction to Programming Language Theory by John Mitchell (MIT Press)
• Language Prototyping: An Algebraic Specification Approach. by A. van Deursen, J. Heering and P. Klint (editors). AMAST Series in Computing, Volume 5. World Scientific Publishing Co., 1996. 300 pp. To appear July 1996.
• The Little Schemer
• ML for the Working Programmer by Larry Paulson
• Programming Languages for Parallel Processing ed. by David Skillicorn and Domenico Talia (IEEE Computer Society Press)
• A Retargetable C Compiler: Design and Implementation by Christopher Fraser and David Hanson (Benjamin/Cummings)
• The Seasoned Schemer
• Semantics of Programming Languages: Structures and Techniques by Carl Gunter (MIT Press)
• Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design ed. by Carl Gunter and John Mitchell (MIT Press)
• A Theory of Objects by Martín Abadi and Luca Cardelli (Springer-Verlag)

Publishers

• The USENIX library
• Association for Computing Machinery (ACM)
• Cambridge University Press
• Digital Press
• Elsevier Science
• MIT Press
• Springer-Verlag
• UCL Press
• World Scientific Publishing Co.

Related Pages

• Scholarly Societies in Computer Science
• How to Edit a Journal by E-mail by Andrew Appel

Back to the language research page