Cargando...
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...
Gardado en:
| Publicado en: | Logic-Based Program Synthesis and Transformation |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
2020
|
| Assuntos: | |
| Acceso en liña: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7880237/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-68446-4_8 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|