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

Detalles Bibliográficos

Publicado en:	Journal of Functional Programming vol. 35 (Jan 2025)
Autor Principal:	Affeldt, Reynald
Outros autores:	Garrigue, Jacques, Saikawa, Takafumi
Publicado:	Cambridge University Press
Materias:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Acceso en liña:	Citation/Abstract Full Text - PDF
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!