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…