- 1st
- 15:31
Открытое письмо математиков Президенту России Д.А. Медведеву
- 9 comments
- 3rd
- 17:55
Системы типизации лямбда-исчисления: видео 7 и 8 лекций
- 6 comments
Entry tags:
- 13th
- 18:20
Практика функционального программирования № 7
- 14th
- 23:52
Лично-музыкальное
Entry tags:
- 28th
- 17:24
Logical Framework: перевод на русский
- 12 comments