deniok: (lambda cube)
[personal profile] deniok
Напоминаю, что очередная встреча SPbHUG, которую теперь зовут FProg, пройдёт в четверг, 12 июля в 19:00 в офисе компании Яндекс. Предполагается, что нашему вниманию будут предложены следующие доклады:
  • Jan Malakhovski Введение в Agda.
  • Evgeny Kotelnikov Зависимые типы в Haskell.
  • Andrey Vlasovskikh Команда spb-archlinux на ICFP Contest 2009.

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

Date: 2012-07-09 12:08 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
ну как в каких - в миллиОлегах, конечно.

Date: 2012-07-09 03:50 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Может быть, я и неправ, конечно...
Но имхо, только окамёль и хацкёль может так измеряться ;-)

Date: 2012-07-09 05:39 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Ну не, на http://okmij.org/ftp/formalizations/ есть и Twelf, и Logical Frameworks. Так что, думаю, миллиОлеги подойдут:)

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 15th, 2025 04:43 am
Powered by Dreamwidth Studios