Дэвид А. Тернер (родился 26 января 1946 г.) - британский ученый-компьютерщик . Он наиболее известен разработкой и реализацией трех языков программирования , включая первый для функционального программирования, основанного на ленивом вычислении , редукции комбинаторного графа и полиморфных типах : SASL (1972 г.), Kent Recursive Calculator (KRC) (1981) и коммерчески поддерживаемый Миранда (1985). Миранда оказала сильное влияние на более поздний Haskell . [1]
Дэвид А. Тернер | |
---|---|
Родившийся | 1946 (74–75 лет) |
Гражданство | Великобритания |
Образование | D.Phil. , Оксфордский университет |
Известен | SASL , Рекурсивный калькулятор Кента , Миранда |
Научная карьера | |
Поля | Информатика |
Учреждения | Лондонский университет королевы Марии Техасский университет в Остинском университете Кента в Кентерберийском университете Миддлсекс |
Веб-сайт | www |
Он имеет степень доктора философии (D.Phil.) Оксфордского университета . Он был профессором Колледжа Королевы Марии в Лондоне , Техасского университета в Остине и Кентского университета в Кентербери, где он провел большую часть своей карьеры и сохранил за собой звание почетного профессора вычислений.
Он участвовал в разработке международных стандартов в программировании и информатике в качестве члена Рабочей группы 2.1 Международной федерации обработки информации (IFIP) IFIP по алгоритмическим языкам и вычислениям [2], которая определяет , поддерживает и поддерживает языки программирования ALGOL 60. и АЛГОЛ 68 . [3]
Он также является почетным профессором Мидлсекского университета в Англии.
Публикации
- Тернер, Дэвид А. Руководство по языку SASL. Tech. представитель CS / 75/1. Департамент вычислительных наук Университета Сент-Эндрюс 1975 г.
- Тернер, Д.А. (1979). «Новая методика реализации прикладных языков». Программное обеспечение - практика и опыт . 9 : 31–49. DOI : 10.1002 / spe.4380090105 . S2CID 40541269 .
- Другой алгоритм для абстракции скобок , Д. А. Тернер, Журнал символической логики, 44 (2): 267–270, 1979.
- Функциональное программирование и его приложения , Д.А. Тернер, Cambridge University Press, 1982.
- Генератор синтаксического анализатора для использования с Мирандой , Симпозиум ACM по прикладным вычислениям, страницы 401–407, Филадельфия, США, февраль 1996 г.
- Элементарное сильное функциональное программирование , Д.А. Тернер, в R. Plasmeijer, P. Hartel, eds, "First International Symposium on Functional Programming Languages in Education", Lecture Notes in Computer Science , volume 1022, pages 1–13, Springer-Verlag , 1996 .
- Обеспечение потока потоков , Аластер Телфорд и Дэвид Тернер, в издании Джонсона, «Алгебраическая методология и программные технологии», 6-я международная конференция, AMAST '97, Сидней, Австралия, декабрь 1997 г., конспект лекций по информатике, том 1349, стр. 509– 523. AMAST, Springer-Verlag, декабрь 1997 г.
- Обеспечение продуктивности бесконечных структур , AJTelford, DATurner, «Технический отчет TR 14-97», 37 страниц, вычислительная лаборатория, Кентский университет, март 1998 г. На стадии представления в «Журнал функционального программирования».
- Обеспечение завершения в ESFP , А. Дж. Телфорд и Д. А. Тернер, в «15-м Британском коллоквиуме по теоретической информатике», стр. 14, Кил, апрель 1999 г. Для публикации в «Журнале универсальных компьютерных наук».
- Иерархия элементарных языков с сильными нормализационными свойствами , AJTelford, DATurner, «Технический отчет TR 2-00», 66 страниц, Компьютерная лаборатория Кентского университета, январь 2000 г.
- Total Functional Programming , основной доклад, стр. 1–15, SBLP 2004, Рио-де-Жанейро, май 2004 г.
- Тезис Чёрча и функциональное программирование , в ред. А. Ольшевского, «Тезис Чёрча через 70 лет», страницы 518-544, Ontos Verlag, 2006.
Рекомендации
- ^ Худак, Пол; Хьюз, Джон (2007). «История Haskell: лень с классом» .
- ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Проверено 14 октября 2020 года .
- ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Проверено 14 октября 2020 года .
Внешние ссылки
- Официальный сайт Кентского университета в Кентербери
- Архивная копия старой страницы персонала в Мидлсексском университете
- Функциональный язык программирования Miranda