×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of fprog
Евгений Лазин. Неизменяемая структура данных HAMT для создания БД в памяти
544 views
Евгений Котельников. Зависимые типы в Haskell
660 views
Ян Малаховски. Введение в Agda
281 views
Дмитрий Грошев, Фёдор Гоголев. Erlang и Haskell в production: проблемы и решения
1.142 views
Антон Ланцов. Язык J
150 views