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
Онлайн доступ:	Citation/Abstract Full Text - PDF
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!