RSS

Haskell

Прошедшие мероприятия

Системы типизации лямбда-исчисления

Современные функциональные языки программирования, такие как Haskell, наследники ML (SML, Ocaml, F#), Agda2 и т.п., обладают весьма богатыми и сложными системами типов. Несмотря на такое разнообразие, эти системы имеют в своей основе хорошо проработанную формальную теорию типизированных лямбда-исчислений.

Оставить отзыв

MarginCon

Конференция по маргинальным языкам программирования

Оставить отзыв   Отзывы (1)

Популярные мероприятия
Соглашение на обработку персональных данных