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

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

Пожалуйста, представьтесь:

E-mail:

Код защиты от спама: captcha

Если Вы цитируете отзыв, опубликованый на другом сайте, пожалуйста, укажите адрес страницы, на которой размещен цитируемый отзыв:

Получать уведомления о других отзывах.

Реклама

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