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
∙
02/11/2021
Strong Call by Value is Reasonable for Time
The invariance thesis of Slot and van Emde Boas states that all reasonab...
research
∙
09/15/2020
