Опциональная система типов на основе последовательной аппроксимации динамической семантики языка программированиядоклад на конференции