John C. Mitchell
From Wikipedia, the free encyclopedia
John Clifford Mitchell is professor of computer science and (by courtesy) electrical engineering at Stanford University. He has published in the area of programming language theory and computer security.
Selected publications 
- Mitchell, John C.; Plotkin, Gordon (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems 10 (3).
- Gunter, Carl A.; Mitchell, John C. (1994). Theoretical Aspects of Object-Oriented Programming. The MIT Press.
- Mitchell, John C. (1996). Foundations for Programming Languages. The MIT Press.
- Mitchell, John C. (2002). Concepts in Programming Languages. Cambridge University Press.
- John C. Mitchell's homepage
- List of publications from the DBLP Bibliography Server
- John C. Mitchell at the Mathematics Genealogy Project
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|
|This biography of an American academic is a stub. You can help Wikipedia by expanding it.|