WikiDer > Генри Бейкер (ученый-компьютерщик)

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Февраль 2013) (Узнайте, как и когда удалить этот шаблон сообщения)

Генри Гивенс Бейкер мл. американский ученый-компьютерщик, внесший вклад в вывоз мусора, функциональные языки программирования, и линейная логика. Он также был одним из основателей Символика, компания, которая разработала и изготовила линейку Лисп-машины. В 2006 году он был признан Заслуженным ученым Ассоциация вычислительной техники.

Он известен своими исследованиями в области сборки мусора, в частности, сборщика копий Бейкера в реальном времени, а также Актерская модель.

Бейкер получил степень бакалавра наук. (1969), С. (1973), E.E. (1973) и доктор философии (1978) степени в M.I.T.

Компилятор Chicken Scheme был вдохновлен новаторским дизайном Baker's.^[1]

Библиография

• Хьюитт, Карл; Бейкер, Генри (1–5 августа 1977 г.), «Актеры и непрерывные функционалы», Материалы рабочей конференции ИФИП по формальному описанию концепций программирования
• Хьюитт, Карл; Бейкер, Генри Г. (1977), "Законы взаимодействия параллельных процессов", Конгресс ИФИП: 987–92
• Бейкер, Генри (январь 1978 г.), Актерские системы для вычислений в реальном времени (Докторская диссертация EECS), Кембридж: Массачусетский технологический институт
• Бейкер, Генри Г. (1978), «Мелкая привязка в LISP 1.5», Коммуникации ACM, 21 (7): 565–9, Дои:10.1145/359545.359566
• Бейкер, Генри Г. (4 апреля 1978 г.), «Обработка списков в реальном времени на последовательном компьютере», Коммуникации ACM, 21 (4): 280–294, CiteSeerX 10.1.1.468.2631, Дои:10.1145/359460.359470

Рекомендации

внешняя ссылка

• Архив исследовательских работ Генри Бейкера в Интернет-архиве