[Ann]Сертифицированное программирование на зависимых типах
От:
deniok
Дата:
09.01.10 19:10
Оценка:
16 (3)
Сегодняшние вести с LtU
:
Certified Programming With Dependent Types
Книжка про COQ, судя по оглавлению весьма полезная. Не пропустите, кто интересуется заявленными темами.
coq
Переместить
Удалить
Выделить ветку
Проголосовать
Пока на собственное сообщение не было ответов, его можно удалить.
Удалить
Проголосовать
Заголовок: