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

Bibliografiska uppgifter

I publikationen:	Journal of Functional Programming vol. 35 (Jan 2025)
Huvudupphov:	Affeldt, Reynald
Övriga upphov:	Garrigue, Jacques, Saikawa, Takafumi
Utgiven:	Cambridge University Press
Ämnen:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Länkar:	Citation/Abstract Full Text - PDF
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!