Published January 30, 2024
| Version v2
Other
Open
Program Synthesis from Graded Types (Additional Material)
Description
This document contains the additional material for the paper of the same name which appears in the ESOP 2024 proceedings.
Files
appendix.pdf
Files
(451.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c56989853b6cd7b3ce90e0b598bf6306
|
451.5 kB | Preview Download |
Additional details
Funding
- UK Research and Innovation
- Verifying Resource-like Data Use in Programs via Types EP/T013516/1