FProg

6 Followers

5 SlideShares 6 Followers 1 Following

5 SlideShares 6 Followers 1 Following

fprog spbhug fprogru haskell functional structure data hamt erlang j agda intro yandex types dependent

See more

Activity
About

Ян Малаховски. Введение в Agda

12 years ago • 841 Views

Евгений Котельников. Зависимые типы в Haskell

12 years ago • 1577 Views

Антон Ланцов. Язык J

12 years ago • 550 Views

Дмитрий Грошев, Фёдор Гоголев. Erlang и Haskell в production: проблемы и решения

12 years ago • 1668 Views

Евгений Лазин. Неизменяемая структура данных HAMT для создания БД в памяти

12 years ago • 627 Views

fprog spbhug fprogru haskell functional structure data hamt erlang j agda intro yandex types dependent

See more