Cargando…
Modular Inference of Linear Types for Multiplicity-Annotated Arrows
Bernardy et al. [2018] proposed a linear type system [Formula: see text] as a core type system of Linear Haskell. In the system, linearity is represented by annotated arrow types [Formula: see text] , where m denotes the multiplicity of the argument. Thanks to this representation, existing non-linea...
Autor principal: | |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702242/ http://dx.doi.org/10.1007/978-3-030-44914-8_17 |