4 papers
List types for resource aware languages: an implicit name approach
Silvia Ghilezan, Jelena Ivetić, Pierre Lescanne +1
A novel formalisation of variable control in languages with implicit names based on de Bruijn indices is presented. We design and implement three languages: first, a restricted lan…
Resource control and intersection types: an intrinsic connection
S. Ghilezan, J. Ivetic, P. Lescanne +1
In this paper we investigate the -calculus, a -calculus enriched with resource control. Explicit control of resources is enabled by the presence of erasure and duplication o…
A journey through resource control lambda calculi and explicit substitution using intersection types (an account)
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne +1
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with e…
Resource control and strong normalisation
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne +1
We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with either natu…