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...
share
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
∙
10/16/2017
