To whom it may concern

[deniok]

Напоминаю, что очередная встреча SPbHUG, которую теперь зовут FProg, пройдёт в четверг, 12 июля в 19:00 в офисе компании Яндекс. Предполагается, что нашему вниманию будут предложены следующие доклады:

• Jan Malakhovski Введение в Agda.
• Evgeny Kotelnikov Зависимые типы в Haskell.
• Andrey Vlasovskikh Команда spb-archlinux на ICFP Contest 2009.

Подробная информация и регистрация на странице встречи.

Comments

[deni-ok.livejournal.com]

ну как в каких - в миллиОлегах, конечно.

[nivanych.livejournal.com]

Может быть, я и неправ, конечно...
Но имхо, только окамёль и хацкёль может так измеряться ;-)

[deni-ok.livejournal.com]

Ну не, на http://okmij.org/ftp/formalizations/ есть и Twelf, и Logical Frameworks. Так что, думаю, миллиОлеги подойдут:)