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

Dettagli Bibliografici

Pubblicato in:	Journal of Functional Programming vol. 35 (Jan 2025)
Autore principale:	Affeldt, Reynald
Altri autori:	Garrigue, Jacques, Saikawa, Takafumi
Pubblicazione:	Cambridge University Press
Soggetti:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Accesso online:	Citation/Abstract Full Text - PDF
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!