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

Xehetasun bibliografikoak

Argitaratua izan da:	Journal of Functional Programming vol. 35 (Jan 2025)
Egile nagusia:	Affeldt, Reynald
Beste egile batzuk:	Garrigue, Jacques, Saikawa, Takafumi
Argitaratua:	Cambridge University Press
Gaiak:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Sarrera elektronikoa:	Citation/Abstract Full Text - PDF
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!