A carregar...
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...
Na minha lista:
| Publicado no: | Logic-Based Program Synthesis and Transformation |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | 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: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|