?

Log in

No account? Create an account
Уникальные типы в Агда - Программирование с зависимыми типами [entries|archive|friends|userinfo]
Программирование с зависимыми типами

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Уникальные типы в Агда [Jan. 24th, 2013|12:30 am]
Программирование с зависимыми типами
ru_deptypes
[dima_starosud]
[Tags|]

Теперь можно доказывать корректность императивных программ с помощью зависимых типов.
LinkReply

Comments:
[User Picture]From: nivanych
2013-01-26 07:54 am (UTC)
Мне одному там комонады мерещатся? ;-)
(Reply) (Thread)