40 citations · 43 across the 3 of their papers we have counts for
4 papers · 1 filter
Lang-n-Send: Processes That Send Languages
Matteo Cimini
We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Further…
Language Transformations in the Classroom
Matteo Cimini, Benjamin Mourad
Language transformations are algorithms that take a language specification in input, and return the language specification modified. Language transformations are useful for automat…
A Calculus for Language Transformations
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…
Towards Gradually Typed Capabilities in the Pi-Calculus
Matteo Cimini
Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at com…