Search - List of Books by John C. Reynolds

John C. Reynolds (born June 1, 1935) is an American computer scientist.

John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been Professor of Computer Science at Carnegie Mellon University. He has held visiting positions at Aarhus University (Denmark), University of Edinburgh, Imperial College London,Microsoft Research (Cambridge) and Queen Mary, University of London (UK).

Reynolds' main research interest is in the area of programming language design and associated specification languages, especially concerning formal semantics. He invented Polymorphic Lambda Calculus and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified early work on continuations and introduced the technique of defunctionalization. He defined the programming languages Gedanken and Forsythe. He has worked on a separation logic to describe and reason about shared mutable data structures.

He has been an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the ACM. He won the ACM SIGPLAN Programming Language Achievement Award in 2003.

Books   more �

This author page uses material from the Wikipedia article "John C. Reynolds", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 11
Nonprofit Leadership in a For-Profit World Essential Insights from 15 Christian Executives
2011 - Nonprofit Leadership in a for-profit World Essential Insights From 15 Christian Executives [Christian Leadership Alliance] (Paperback)
ISBN-13: 9780784731802
ISBN-10: 0784731802
Genres: Business & Money, Christian Books & Bibles
  ?

History of the Mw Grand Lodge of Illinois Ancient Free and Accepted Masons From the Organization of the First Lodge Within the Present
Simple Verse Given to a Simple Man by a Loving God
2009 - Simple Verse Given to a Simple Man By a Loving God (Paperback)
ISBN-13: 9781606721421
ISBN-10: 1606721429
  ?

Theories of Programming Languages
2009 - Theories of Programming Languages (Paperback)Hardcover
ISBN-13: 9780521106979
ISBN-10: 0521106974
Genre: Computers & Technology
  ?

History Of The M W Grand Lodge Of Illinois Ancient Free And Accepted Masons
2008 - History of the M W Grand Lodge of Illinois Ancient Free and Accepted Masons [1869] (Hardcover)Paperback
ISBN-13: 9781436618885
ISBN-10: 1436618886
  ?

History Of The M W Grand Lodge Of Illinois Ancient Free And Accepted Masons
2008 - History of the M W Grand Lodge of Illinois Ancient Free and Accepted Masons [1869] (Paperback)Hardcover
ISBN-13: 9780548821961
ISBN-10: 0548821968
  ?

Theories of Programming Languages
1998 - Theories of Programming Languages (Hardcover)Paperback
ISBN-13: 9780521594141
ISBN-10: 0521594146
Genres: Computers & Technology, Substores
  ?

Algebraic Methods in Semantics
1985 - Algebraic Methods in Semantics (Hardcover)
ISBN-13: 9780521267939
ISBN-10: 0521267935
Genres: Computers & Technology, Reference, Science & Math
  ?

The Craft of Programming
The Craft of Programming [Prentice-Hall International Series in Computer Science] (Hardcover)
ISBN-13: 9780131888623
ISBN-10: 0131888625
Genres: Computers & Technology, Reference, Science & Math
  ?