Результаты поиска по запросу "coinduction"

2 ответа

Вычислить (бесконечное) дерево из оператора фиксированной точки, используя модальность задержки

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

ТОП публикаций