Дедуктивный синтез программ

Система зависимых типов

Система, в которой типы могут зависеть от значений, позволяющая выражать сложные свойства непосредственно в системе типов и обеспечивать корректность на уровне типизации.

← Назад