Científico informático estadounidense
Henry Givens Baker Jr. es un científico informático estadounidense que ha realizado contribuciones en materia de recolección de basura , lenguajes de programación funcional y lógica lineal . Fue uno de los fundadores de Symbolics , una empresa que diseñó y fabricó una línea de máquinas Lisp . En 2006 fue reconocido como Científico Distinguido por la Association for Computing Machinery .
Es conocido por sus investigaciones en materia de recolección de basura, en particular el recolector de copias en tiempo real de Baker y el modelo Actor .
Baker recibió sus títulos de B.Sc. (1969), SM (1973), EE (1973) y Ph.D. (1978) en el MIT.
El compilador Chicken Scheme se inspiró en un diseño innovador de Baker. [1]
Bibliografía
- Hewitt, Carl ; Baker, Henry (1–5 de agosto de 1977), "Actores y funciones continuas", Actas de la conferencia de trabajo de la IFIP sobre descripción formal de conceptos de programación
- Hewitt, Carl; Baker, Henry G. (1977), "Leyes para la comunicación de procesos paralelos", Congreso IFIP : 987–92
- Baker, Henry (enero de 1978), Actor Systems for Real-Time Computation (tesis doctoral de EECS), Cambridge: Instituto Tecnológico de Massachusetts
- Baker, Henry G. (1978), "Enlace superficial en LISP 1.5", Communications of the ACM , 21 (7): 565–9, doi : 10.1145/359545.359566 , S2CID 10567619
- Baker, Henry G. (4 de abril de 1978), "Procesamiento de listas en tiempo real en una computadora serial.", Communications of the ACM , 21 (4): 280–294, CiteSeerX 10.1.1.468.2631 , doi :10.1145/359460.359470, S2CID 17661259
Referencias
- ^ Henry G. Baker (1 de agosto de 1995). "CONS Should Not CONS Its Arguments, part II: Cheney on the MTA" ACM SIGPLAN Notices . 30 (9): 17–20. doi :10.1145/214448.214454. ISSN 0362-1340. S2CID 20720831. Archivado desde el original el 8 de mayo de 2020 . Consultado el 23 de abril de 2020 .
Enlaces externos
- Archivo de artículos de investigación de Henry Baker en Internet Archive