Руководство студентами (полный список)

2018 [файлы]

Дипломные

• Handling Recursion in Generic Programming in Haskell (Опредение точек рекурсии в обобщённом программировании на языке Haskell, Анна Болотина);

2017 [файлы]

Магистерские диссертации

• Structuring effectful computations (Структурирование вычислений с эффектами, Георгий Лукьянов);

Дипломные

• Монадический парсинг, чувствительный к отступам (Мария Втюрина);

Курсовые

• Обобщённое программирование в задаче построения зипперов (Анна Болотина);

2016 [файлы]

Курсовые

• Парсинг вложенных конструкций в Markdown на языке Haskell (Мария Втюрина).

Дипломные

• Генерация описаний алгебраических типов данных на основе JSON (Олег Маросеев);

• Генерация экземпляров классов типов на основе экземпляров производных классов в языке Haskell (Ольга Филиппская);

• Схемы разделения секрета с реализацией на языке Haskell (Олег Хритоненков);

• Расширение плагина публикации заданий в Moodle (Точи Бенджамен Рубен).

2015 [файлы]

Курсовые

• Применение монад языка Haskell для моделирования игр (Ольга Филиппская).

Дипломные

• Функциональный парсер легковесного языка разметки Markdown на основе комбинирования монад и моноидального представления исходного текста (Георгий Лукьянов);

• Метапрограммная реализация арифметики в простых конечных полях и их расширениях (Анастасия Мышко);

• Система вывода в линейной логике с реализацией на языке Haskell (Владимир Панков).

2014

Курсовые

• Многочлены многих переменных в языке Haskell (Олег Хритоненков);

• Язык квантовых вычислений Quipper (Владимир Панков);

• Метапрограммная реализация библиотеки в конечных полях (Анастасия Мышко).

Дипломные

• Поддержка PascalABC.NET в Eclipse IDE (Алексей Туляков), [файлы].