Tomasz Drab | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Dariusz Biernacki
6 publications
Witold Charatonik
3 publications
Małgorzata Biernacka
3 publications

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...

0 Małgorzata Biernacka, et al. ∙

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...

0 Małgorzata Biernacka, et al. ∙