A practical formalization of monadic equational reasoning in dependent-type theory

Библиографические подробности

Опубликовано в::	Journal of Functional Programming vol. 35 (Jan 2025)
Главный автор:	Affeldt, Reynald
Другие авторы:	Garrigue, Jacques, Saikawa, Takafumi
Опубликовано:	Cambridge University Press
Предметы:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online-ссылка:	Citation/Abstract Full Text - PDF
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!