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

書目詳細資料

發表在:	Journal of Functional Programming vol. 35 (Jan 2025)
主要作者:	Affeldt, Reynald
其他作者:	Garrigue, Jacques, Saikawa, Takafumi
出版:	Cambridge University Press
主題:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
在線閱讀:	Citation/Abstract Full Text - PDF
標簽:	添加標簽 沒有標簽, 成為第一個標記此記錄!