Рубрика: Типирование по тексту

Анализ №1 Автор анализа — Arfopod Я типирую тексты, опираясь на прямолинейное наивное понимание дихотомий и немного на основные малые группы. В основном о...

Сходимость программ Анализ сходимости версий программ с типируемыми и друг с другом.Программа №3 — это модифицированная версия программы №2 того же автора...

Сходимость с типируемыми при типировании по тексту Сходимость с типируемыми по текстам (с учетом трех замененных версий)