John C. Mitchell
From Wikipedia, the free encyclopedia
|Professor John Mitchell|
|Born||John Clifford Mitchell|
Massachusetts Institute of Technology
|Academic advisors||Albert R. Meyer|
|Doctoral students||Ole Agesen
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.
- John C. Mitchell from the ACM Portal
- John C. Mitchell at the Mathematics Genealogy Project
- 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.
- List of publications from the DBLP Bibliography Server
- Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems 10 (3): 470. doi:10.1145/44501.45065.
|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.|