| Topics: |
|
Manuel Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. 2000. CSLI Publications.
Guy Cousineau, Michel Mauny. The Functional Approach to Programming with Caml. 1998. Cambridge University Press.
Iain Craig. The interpretation of object-oriented programming languages. 2000. Springer-Verlag London.
Jonathan Jacky. The Way of Z: Practical Programming with Formal Methods. 1997. Cambridge University Press.
Paul Graham. On Lisp: Advanced Techniques for Common Lisp. 1993. Prentice-Hall.
David S. Touretzky. Common Lisp: A Gentle Introduction to Symbolic Computation. 1989. Pearson Benjamin Cummings.
Richard Jones, Rafael Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. 1996. John Wiley & Sons.
Steven S. Muchnick. Advanced Compiler Design and Implementation. 1997. Morgan Kaufmann Publishers.
Terrence W. Pratt, Marvin V. Zelkowitz. Programming Languages: Design and Implementation, Third Edition. 1999. Prentice-Hall.
B. A. Davey, H. A. Priestley. Introduction to Lattices and Order. 2002. Cambridge University Press.
Wilfrid Hodges. A Shorter Model Theory. 1997. Cambridge University Press.
F. William Lawvere, Stephen Hoel Schanuel. Conceptual Mathematics: A First Introduction to Categories. 1997. Cambridge University Press.
Saunders Mac Lane. Categories for the Working Mathematician. 1998. Springer-Verlag, New York.
Claude E. Shannon. A Mathematical Theory of Communication. 1948. CSLI Publications.
Franz Baader and Tobias Nipkow. Term Rewriting and All That. 1998. Cambridge University Press.
Chris Okasaki. Purely Functional Data Structures. 1999. Cambridge University Press.
J. Barwise and L. S. Moss. Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. 1996. CSLI Publications.
Jon Barwise, Jerry Seligman. Information Flow : The Logic of Distributed Systems. 1997. Cambridge University Press.
Greg Restall. An Introduction to Substructural Logics. 1999. Routledge, London.
Atocha Aliseda-Llera, Rob Van Glabbeek, Dag Westerståhl. Computing Natural Language. 1998. CSLI Publications.
Kees Vermeulen and Ann Copestake. Algebras, Diagrams and Decisions in Language, Logic and Computation. 2002. CSLI Publications.
Chris Brink, Ingrid M. Rewitsky. A Paradigm for Program Semantics: Power Structures and Duality. 2001. CSLI Publications.
Patrick Blackburn and Maarten de Rijke. Specifying Syntactic Structures. 1997. CSLI Publications.
Patrick Doherty. Partiality, Modality and Nonmonotonicity. 1996. CSLI Publications.
Maarten Marx, László Pólos, and Michael Masuch. Arrow Logic and Multi-Modal Logic. 1996. CSLI Publications.
Eric M. Hammer. Logic and Visual Information. 1995. CSLI Publications.
Johan van Benthem. Exploring Logical Dynamics. 1996. CSLI Publications.
Martin Fowler. Refactoring: Improving the Design of Existing Code. 1999. Addison-Wesley.
D.R. Barstow, H.E. Shrobe, E. Sandewall. Interactive Programming Environments. 1984. McGraw-Hill.
Thomas Kühne. A Functional Pattern System for Object-Oriented Design. 1999. Verlag Dr. Kovac.
Hal Abelson, Jerry Sussman, Julie Sussman. Structure and Interpretation of Computer Programs. 1984. MIT Press.
Steven S. Skiena. The Algorithm Design Manual. 1998. Springer-Verlag.
Terry Winograd, Fernando Flores. Understanding Computers and Cognition. 1987. Addison-Wesley.
Pieter Wisse. Metapattern: Context and Time in Information Models. 2000. Addison-Wesley.
Sherman R. Alpert, Kyle Brown, Bobby Woolf. The Design Patterns Smalltalk Companion. 1998. Addison-Wesley.