Relational algebraic ornaments
<p>Dependently typed programming is hard, because ideally dependently typed programs should share structure with their correctness proofs, but there are very few guidelines on how one can arrive at such integrated programs. McBride’s <em>algebraic ornamentation</em> provides a meth...
Автори: | Ko, H, Gibbons, J |
---|---|
Формат: | Conference item |
Опубліковано: |
ACM
2013
|
Схожі ресурси
-
Programming with ornaments
за авторством: Ko, H, та інші
Опубліковано: (2016) -
Categorical organisation of the ornament–refinement framework
за авторством: Ko, H, та інші
Опубліковано: (2013) -
Relating Algebraic and Coalgebraic Descriptions of Lenses
за авторством: Gibbons, J, та інші
Опубліковано: (2012) -
Relational algebra by way of adjunctions
за авторством: Gibbons, J, та інші
Опубліковано: (2018) -
Algebras for tree algorithms
за авторством: Gibbons, J
Опубліковано: (1991)