Books by John C. Mitchell

Concepts in Programming Languages (Cambridge Univ Press, 2003) Table of Contents and Introduction (in pdf format) Teaching Material Errata Reviews: H. Thimbleby (Univ. College London) at LTSN-ICS reviews H. J. Schneider (University of Erlangen) at Reviews.com N. Dunn, British Computer Society (review) M. Austern (review) Cambridge University Press information (UK site)        Chapter 15, The Logic Programming Paradigm and Prolog, by K.R. Apt.
Foundations for Programming Languages (MIT Press, 1996) Table of Contents and Preface Chapter 1 Chapter 2 Index Bibliography MIT Press display
Theoretical Aspects of Object-Oriented Programming (MIT Press, 1994) A collection of articles edited by Carl A. Gunter and J.C. Mitchell. Overview Contents Bibtex entry and Library of Congress cataloging information Gunter's TAOOP info at U Penn MIT Press display

Return to J Mitchell home page