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

Chi tiết về thư mục

Xuất bản năm:	Journal of Functional Programming vol. 35 (Jan 2025)
Tác giả chính:	Affeldt, Reynald
Tác giả khác:	Garrigue, Jacques, Saikawa, Takafumi
Được phát hành:	Cambridge University Press
Những chủ đề:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Truy cập trực tuyến:	Citation/Abstract Full Text - PDF
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!