research
∙
02/07/2022
Eager Functions as Processes (long version)
We study Milner's encoding of the call-by-value λ-calculus into the π-ca...
share
research
∙
12/06/2021
Eager Functions as Processes
We study Milner's encoding of the call-by-value λ-calculus into the π-ca...
research
∙
10/04/2021
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Proving secure compilation of partial programs typically requires back-t...
research
∙
06/29/2018