A practical formalization of monadic equational reasoning in dependent-type theory
Uloženo v:
| Vydáno v: | Journal of Functional Programming vol. 35 (Jan 2025) |
|---|---|
| Hlavní autor: | |
| Další autoři: | , |
| Vydáno: |
Cambridge University Press
|
| Témata: | |
| On-line přístup: | Citation/Abstract Full Text - PDF |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!