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

Detalhes bibliográficos

Publicado no:	Journal of Functional Programming vol. 35 (Jan 2025)
Autor principal:	Affeldt, Reynald
Outros Autores:	Garrigue, Jacques, Saikawa, Takafumi
Publicado em:	Cambridge University Press
Assuntos:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Acesso em linha:	Citation/Abstract Full Text - PDF
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!