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

Manylion Llyfryddiaeth

Cyhoeddwyd yn:	Journal of Functional Programming vol. 35 (Jan 2025)
Prif Awdur:	Affeldt, Reynald
Awduron Eraill:	Garrigue, Jacques, Saikawa, Takafumi
Cyhoeddwyd:	Cambridge University Press
Pynciau:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Mynediad Ar-lein:	Citation/Abstract Full Text - PDF
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!