​
Login / Signup
Tomasz Drab
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Database Query Languages
Active Set
Theorem Prover
Abstract Machine
Top Venues
CoRR
Proc. ACM Program. Lang.
ITP
PPDP
</>
Publications
</>
Tomasz Drab
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction.
CoRR
(2024)
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
The Zoo of Lambda-Calculus Reduction Strategies, And Coq.
ITP
(2022)
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
A simple and efficient implementation of strong call by need by an abstract machine.
Proc. ACM Program. Lang.
6 (ICFP) (2022)
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
A Derived Reasonable Abstract Machine for Strong Call by Value.
PPDP
(2021)
Malgorzata Biernacka
,
Witold Charatonik
,
Tomasz Drab
Strong Call by Value is Reasonable for Time.
CoRR
(2021)
Malgorzata Biernacka
,
Dariusz Biernacki
,
Witold Charatonik
,
Tomasz Drab
An Abstract Machine for Strong Call by Value.
APLAS
(2020)
Malgorzata Biernacka
,
Dariusz Biernacki
,
Witold Charatonik
,
Tomasz Drab
An Abstract Machine for Strong Call by Value.
CoRR
(2020)