Here we define and implement a compilation between two linear systems, a linear calculus
from David Walker (2005) and Linear Haskell (2017) and show that, although based on …

Linear type systems are a powerful framework in programming languages that enforce
resource usage constraints by ensuring that each resource is used exactly once. In this …

In this paper we investigate the $\lambda $-calculus, a $\lambda $-calculus enriched with
resource control. Explicit control of resources is enabled by the presence of erasure and …

Control of resources and awareness of their usage has an important role in logic and
lambda calculus as well as in programming languages, compiler design and program …

In this document we will present work related to resource calculi, where an argument can be
copied as many times as needed. Resource calculi could have a major importance when …