John C. Mitchell
From Wikipedia, the free encyclopedia
This article is about the computer scientist. For the writer, actor and director, see John Cameron Mitchell.
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.
Together with Gordon Plotkin he noted the connection between existential types and abstract data types.
In August of 2012, Mitchell was appointed by Stanford President John L. Hennessy as the Vice Provost for Online Learning, a newly created position responsible for overseeing Stanford's MOOC program.
Selected publications [edit]
- 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.
External links [edit]
- 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. |
