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

Bibliografische gegevens

Gepubliceerd in:	Journal of Functional Programming vol. 35 (Jan 2025)
Hoofdauteur:	Affeldt, Reynald
Andere auteurs:	Garrigue, Jacques, Saikawa, Takafumi
Gepubliceerd in:	Cambridge University Press
Onderwerpen:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online toegang:	Citation/Abstract Full Text - PDF
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!