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

Bibliográfalaš dieđut

Publikašuvnnas:	Journal of Functional Programming vol. 35 (Jan 2025)
Váldodahkki:	Affeldt, Reynald
Eará dahkkit:	Garrigue, Jacques, Saikawa, Takafumi
Almmustuhtton:	Cambridge University Press
Fáttát:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Liŋkkat:	Citation/Abstract Full Text - PDF
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!