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

Bibliografski detalji

Izdano u:	Journal of Functional Programming vol. 35 (Jan 2025)
Glavni autor:	Affeldt, Reynald
Daljnji autori:	Garrigue, Jacques, Saikawa, Takafumi
Izdano:	Cambridge University Press
Teme:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online pristup:	Citation/Abstract Full Text - PDF
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!