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

Bibliographische Detailangaben

Veröffentlicht in:	Journal of Functional Programming vol. 35 (Jan 2025)
1. Verfasser:	Affeldt, Reynald
Weitere Verfasser:	Garrigue, Jacques, Saikawa, Takafumi
Veröffentlicht:	Cambridge University Press
Schlagworte:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online-Zugang:	Citation/Abstract Full Text - PDF
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!