Крис Окасаки - Википедия - Chris Okasaki

Крис Окасаки, доктор философии доцент кафедры Информатика на Военная академия США. Он является автором Чисто функциональные структуры данных (1998), на основе докторская диссертация с таким же названием. Он получил степень доктора философии. в Университет Карнеги Меллон в 1996 году под руководством советников Питер Ли, Роберт Харпер, Дэниел Слейтор, и Роберт Тарджан.[1] До своего нынешнего академического назначения он преподавал в Колумбийский университет и Университет Глазго.[2]

Чисто функциональные структуры данных

Доктор Окасаки опубликовал свою докторскую диссертацию в виде книги в 1998 году. Она приближается к теме структуры данных из функциональное программирование перспектива, описывающая методы проектирования неизменный структуры, которые включают упорство.[3]

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

  1. ^ Окасаки, Крис (1996). Чисто функциональные структуры данных (PDF) (Кандидатская диссертация). Питтсбург, Пенсильвания: Университет Карнеги-Меллона. Получено 8 января 2017.
  2. ^ "Доктор Крис Окасаки". Военная академия США в Вест-Пойнте. Получено 18 декабря 2020.
  3. ^ Окасаки, Крис (1998). Чисто функциональные структуры данных (1-е изд.). Кембридж, Великобритания: Издательство Кембриджского университета. ISBN  9780521631242.