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

Bibliografiske detaljer

Udgivet i:	Journal of Functional Programming vol. 35 (Jan 2025)
Hovedforfatter:	Affeldt, Reynald
Andre forfattere:	Garrigue, Jacques, Saikawa, Takafumi
Udgivet:	Cambridge University Press
Fag:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online adgang:	Citation/Abstract Full Text - PDF
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!