24 citations · 74 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 9 cited
Eager Functions as Processes
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
We study Milner's encoding of the call-by-value -calculus into the -calculus. We show that, by tuning the encoding to two subcalculi of the -calculus (Internal and Asy…
cs.LO2021
On sequentiality and well-bracketing in the -calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
The -calculus is used as a model for programming languages. Its contexts exhibit arbitrary concurrency, making them very discriminating. This may prevent validating desirable be…