Henry Baker (computer scientist)
Henry Givens Baker Jr. is a computer scientist who has made contributions in garbage collection, functional programming languages, and linear logic. He was also one of the founders of Symbolics, a company that designed and manufactured a line of Lisp machines. In 2006 he was recognized as a Distinguished Scientist by the Association for Computing Machinery.
He is notable for his research in garbage collection, particularly Baker's real-time copying collector, and on the Actor model.
Baker received his B.Sc. (1969), S.M. (1973), E.E. (1973), and Ph.D. (1978) degrees at M.I.T.
See also
Chicken Scheme compiler, inspired by an innovative design of Baker's.
Bibliography
Hewitt, Carl; Baker, Henry (August 1–5, 1977), "Actors and Continuous Functionals", Proceeding of IFIP Working Conference on Formal Description of Programming Concepts
Hewitt, Carl; Baker, Henry G. (1977), "Laws for Communicating Parallel Processes", IFIP Congress: 987–92
Baker, Henry (January 1978), Actor Systems for Real-Time Computation (EECS Doctoral Dissertation), Cambridge: Massachusetts Institute of Technology