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

Bibliographic Details

Published in:	Journal of Functional Programming vol. 35 (Jan 2025)
Main Author:	Affeldt, Reynald
Other Authors:	Garrigue, Jacques, Saikawa, Takafumi
Published:	Cambridge University Press
Subjects:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online Access:	Citation/Abstract Full Text - PDF
Tags:	Add Tag No Tags, Be the first to tag this record!