A practical formalization of monadic equational reasoning in dependent-type theory
שמור ב:
| הוצא לאור ב: | Journal of Functional Programming vol. 35 (Jan 2025) |
|---|---|
| מחבר ראשי: | |
| מחברים אחרים: | , |
| יצא לאור: |
Cambridge University Press
|
| נושאים: | |
| גישה מקוונת: | Citation/Abstract Full Text - PDF |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
היה/י הראשונ/ה לכתוב הערה!