Published January 30, 2024
| Version v2
Other
Open
Program Synthesis from Graded Types (Additional Material)
Authors/Creators
-
1.
University of Kent
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