Reflections on the Work of C.A.R. Hoare || Fun with Type Functions

✍ Scribed by Roscoe, A.W.; Jones, Cliff B.; Wood, Kenneth R.

• Book ID: 121504620
• Publisher: Springer London
• Year: 2010
• Tongue: English
• Weight: 290 KB
• Edition: 2010
• Category: Article
• ISBN: 1848829124
• DOI: 10.1007/978-1-84882-912-1_14

✦ Synopsis

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.