John C. Mitchell
5 published titles
Theoretical aspects of object-oriented programming : types, semantics, and language design
(Contributor)
1 edition
- ISBN: 026207155X
- MIT Press
- 1993
- Details
Foundations for programming languages
1 edition
- ISBN: 0262133210
- MIT Press
- 1996
- Details
Concepts in programming languages
1 edition
- ISBN: 0521780985
- Cambridge University Press
- 2003
- Details
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
(Contributor)
1 edition
- ISBN: 1402081413
- Kluwer Academic Publishers
- 2004
- Details
Principles of security and trust : second international conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24,
(Contributor)
1 edition
- ISBN: 9783642368295
- Springer
- 2013
- Details
