Про функциональные языки и встроенные системы.

[thesz]

Типы данных для проверки временных и других ограничений встроенных систем.

На LtU, откуда утащил, наверняка будут интересные комментарии.

Comments

[nealar]

Похоже, мне пора от LtU отписываться - всё самое интересное и так в ленту попадает :)

[nealar]

А кто ещё постит? ;)

[thesz]

That was me. ;)

[nealar]

http://syndicated.livejournal.com/lambda_ultimate/