Henry Baker (computer scientist)
||This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. (February 2013) (Learn how and when to remove this template message)|
|Thesis||Actor systems for real-time computation (1978)|
|Doctoral advisor||Carl Hewitt|
Henry Givens Baker Jr. is an American 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.
Baker received his B.Sc. (1969), S.M. (1973), E.E. (1973), and Ph.D. (1978) degrees at M.I.T.
- Chicken Scheme compiler, inspired by an innovative design of Baker's.
- 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
- Baker, Henry G. (1978), "Shallow binding in LISP 1.5", Communications of the ACM, 21 (7): 565–9, doi:10.1145/359545.359566
- Baker, Henry G. (4 April 1978), "List processing in real time on a serial computer.", Communications of the ACM, 21: 280–294, doi:10.1145/359460.359470
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|