Бенджамин К. Пирс
- Бенджамин Кроуфорд Пирс — профессор компьютерных наук в Пенсильванском университете.
- Пирс получил степень доктора философии и работал над языками программирования, системами статических типов и другими темами.
- Он руководил разработкой нескольких программных проектов с открытым исходным кодом, включая утилиту синхронизации файлов Unison.
- В 2012 году Пирс стал стипендиатом ACM за вклад в теорию и практику языков программирования и их систем типов.
- В 2015 году Пирс и соавторы получили награду за наиболее влиятельную статью «Принципы языков программирования», которая способствовала привлечению внимания сообщества языков программирования к проблеме обновления представления и демонстрации широкой актуальности проблемы.
- Пирс является автором одной книги на тему типов, типов и языков программирования.
- Он также отредактировал сборник статей для создания второго тома «Продвинутые темы по типам и языкам программирования».
- Основываясь на заметках, которые он собрал, изучая теорию категорий во время получения докторской степени, он также опубликовал вводную книгу на эту тему — «Основы теории категорий для специалистов по информатике».
Полный текст статьи: