Jason Hickey is a Software Engineer at Google, where he is responsible for Computing Infrastructure. His research interests include programming languages, formal methods, and compilers for fault-tolerant distributed systems and high-confidence control. He was an assistant professor at California Institute of Technology (Caltech) until 2008, where he developed new courses in modern operating systems, compilers, and programming language semantics.
Books Authored by Jason Hickey
Real World OCaml: Functional Programming for the Masses
Post date: 16 Mar 2016Real World OCaml: Functional Programming for the Masses
Post date: 16 Mar 2016Introduction to Objective Caml
Post date: 11 Apr 2008Introduction to Objective Caml
Post date: 11 Apr 2008