Linear Explicit Substitutions

9 years 6 months ago
Linear Explicit Substitutions
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the -calculus to provide a linear calculus of explicit substitutions which analogously describes the implementation of linear functional programming languages.
Neil Ghani, Valeria de Paiva, Eike Ritter
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where IGPL
Authors Neil Ghani, Valeria de Paiva, Eike Ritter
Comments (0)