1 paper
Benjamin Mourad, Matteo Cimini
In this paper we propose a calculus for expressing algorithms for programming languages transformations. We present the type system and operational semantics of the calculus, and w…