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

Dades bibliogràfiques

Publicat a:	Journal of Functional Programming vol. 35 (Jan 2025)
Autor principal:	Affeldt, Reynald
Altres autors:	Garrigue, Jacques, Saikawa, Takafumi
Publicat:	Cambridge University Press
Matèries:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Accés en línia:	Citation/Abstract Full Text - PDF
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!