40 citations · 45 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
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…
cs.PL2019
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…