| Вернуться на исходную страницу

Семинар

Семинар

Заседания семинара Сектора Визуализации проходят в Институте Математики и Механики УрО РАН (см. Контакты) в комнате 303 каждый четверг. Начало в 16.00.

На семинарах рассматриваются актуальные вопросы визуализации высокопроизводительных вычислений, человеко-машинного взаимодействия и смежные вопросы.

Семинар проводится с 1995 года, на текущий момент заслушано более 280 докладов. В сентябре 2010 года принято решение публиковать повестку семинара в сети Интернет. 



Для выступающих

"Проблемы с типами" - выступление М.О. Бахтерева на семинаре сектора КВ

Когда: 28 ноября 2013 в 20:00
Где: В комнате 303 нового здания ИММ УрО РАН

В докладе будет (неформально!) рассказано о деталях и сложностях разработки реализации системы типов для языка Си-99.
Разговор пойдёт, в основном, о тонкостях кодирования бесконечных рекурсивных типов, и некоторых
недостатках предлагаемых теорий. Если повезёт, то это будет первый
доклад из трёх  с нарастающей степенью формализации на тему о семантике языков программирования, и о том, о
чём молчат пропагандисты Haskell :)

Ждем всех!



Количество просмотров: Счетчик посещений Counter.CO.KZ - бесплатный счетчик на любой вкус!


Вернуться в раздел Семинар


| Вернуться на исходную страницу