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

Bibliografiset tiedot

Julkaisussa:	Journal of Functional Programming vol. 35 (Jan 2025)
Päätekijä:	Affeldt, Reynald
Muut tekijät:	Garrigue, Jacques, Saikawa, Takafumi
Julkaistu:	Cambridge University Press
Aiheet:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Linkit:	Citation/Abstract Full Text - PDF
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!