search

realworldocaml / book

V2 of Real World OCaml
https://dev.realworldocaml.org
Other
1.19k stars 174 forks source link

New comment on block [block-idp247824] #1649

Closed sengan closed 11 years ago

sengan commented 11 years ago

s/where his research was in/where he researched

bactrian commented 11 years ago

This comment references this from milestone beta1: http://www.realworldocaml.org/beta1/en/html/prologue.html#idp247824

Context:

Prior to joining Google, Jason was an Assistant Professor of Computer Science at Caltech, where his research was in reliable and fault-tolerant computing systems, including programming language design, formal methods, compilers, and new models of distributed computation. He obtained his PhD in Computer Science from Cornell University, where he studied programming languages. He is the author of the MetaPRL system, a logical framework for design and analysis of large software systems; and OMake, an advanced build system for large software projects. He is the author of the textbook, An Introduction to Objective Caml (unpublished).