fprog documents

Евгений Лазин. Неизменяемая структура данных HAMT для создания БД в памяти
Documents Евгений Лазин. Неизменяемая структура данных HAMT для создания БД в памяти
Евгений Котельников. Зависимые типы в Haskell
Technology Евгений Котельников. Зависимые типы в Haskell
Ян Малаховски. Введение в Agda
Technology Ян Малаховски. Введение в Agda
Дмитрий Грошев, Фёдор Гоголев. Erlang и Haskell в production: проблемы и решения
Documents Дмитрий Грошев, Фёдор Гоголев. Erlang и Haskell в production: проблемы и решения
Антон Ланцов. Язык J
Technology Антон Ланцов. Язык J