Lataa...
Resourceful Program Synthesis from Graded Linear Types
Linear types provide a way to constrain programs by specifying that some values must be used exactly once. Recent work on graded modal types augments and refines this notion, enabling fine-grained, quantitative specification of data use in programs. The information provided by graded modal types app...
Tallennettuna:
| Julkaisussa: | Logic-Based Program Synthesis and Transformation |
|---|---|
| Päätekijät: | , |
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
2020
|
| Aiheet: | |
| Linkit: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7880237/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-68446-4_8 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|