research
∙
05/13/2022
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
We present fully abstract encodings of the call-by-name and call-by-valu...
share
research
∙
08/16/2021
Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines
The functional correspondence is a manual derivation technique transform...
research
∙
09/15/2020
An Abstract Machine for Strong Call by Value
We present an abstract machine that implements a full-reducing (a.k.a. s...
research
∙
04/23/2018
Bisimulations for Delimited-Control Operators
We propose a survey of the behavioral theory of an untyped lambda-calcul...
research
∙
10/31/2017
Proving Soundness of Extensional Normal-Form Bisimilarities
Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence...
research
∙
10/25/2017