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

Detaylı Bibliyografya

Yayımlandı:	Journal of Functional Programming vol. 35 (Jan 2025)
Yazar:	Affeldt, Reynald
Diğer Yazarlar:	Garrigue, Jacques, Saikawa, Takafumi
Baskı/Yayın Bilgisi:	Cambridge University Press
Konular:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Online Erişim:	Citation/Abstract Full Text - PDF
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!