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

Opis bibliograficzny

Wydane w:	Journal of Functional Programming vol. 35 (Jan 2025)
1. autor:	Affeldt, Reynald
Kolejni autorzy:	Garrigue, Jacques, Saikawa, Takafumi
Wydane:	Cambridge University Press
Hasła przedmiotowe:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Dostęp online:	Citation/Abstract Full Text - PDF
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!