Programming with ornaments
Dependently typed programming advocates the use of various indexed versions of the same shape of data, but the formal relationship amongst these structurally similar datatypes usually needs to be established manually and tediously. Ornaments have been proposed as a formal mechanism to manage the rel...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Cambridge University Press
2016
|