John C. Mitchell Books
Foundations For Programming Languages
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational...
Read More
Concepts In Programming Languages
For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and co...
Read More
Exploring New Frontiers Of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference On Theoretical Computer Science ... And Communication Technology, 155)
By Jean-Jacques Levy, John C. Mitchell, Ernst W Mayr, IFIP TC1 International Conference On Theoretical Computer Science (3rd 2004 Toulouse, France), IFIP International Conference On Theoretical Computer Science
Read More
Exploring New Frontiers Of Theoretical Informatics: IFIP 18th World Computer Congress ; TC1 3rd International Conference On Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France
By Jean-Jacques Levy, Ernst Mayr, John C. Mitchell, IFIP TC1 International Conference On Theoretical Computer Science (3rd 2004 Toulouse, France), IFIP International Conference On Theoretical Computer Science
Read More