Lazy Linearity for a Core Functional Language

Rodrigo Mesquita, Bernardo Toninho

Traditionally, in linearly typed languages, consuming a linear resource is synonymous with its syntactic occurrence in the program. However, under the lens of non-strict evaluation…