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...

Descripción completa

Detalles Bibliográficos
Autores principales: Hughes, Jack, Orchard, Dominic
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7880237/
http://dx.doi.org/10.1007/978-3-030-68446-4_8