John C. Mitchell

No bio available. Add one in Open Library.

Books by John C. Mitchell (50 max)

+ shelf+ list

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

1994

Carl A. Gunter, John C. Mitchell

+ shelf+ list

Theoretical Aspects of Computer Software: International Symposium Tacs '94, Sendai, Japan, April 19 - 22, 1994. Proceedings (Springer Series in Solid-State Sciences)

1994

TACS '94 (1994 Sendai-han, Japan), Masami Hagiya, John C. Mitchell

+ shelf+ list

Foundations for programming languages

1996

John C. Mitchell

+ shelf+ list

Concepts in Programming Languages

2003

John C. Mitchell

+ shelf+ list

Great Lakes and Great Ships: An Illustrated History for Children

1991

John C. Mitchell, Tom Woodruff

+ shelf+ list

Indians of the Great Lakes: An Illustrated History for Children

1995

John C. Mitchell

+ shelf+ list

Michigan: An Illustrated History for Children

1995

John C. Mitchell

+ shelf+ list

What's in, what's out; what's hot, what's not!.

2000

John C. Mitchell

+ shelf+ list

Trust Management II

2010

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

+ shelf+ list

Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science 22-27 August 2004 Toulouse, France

2011

Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell