Tomasz Drab

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Database Query Languages

Abstract Machine

Top Venues

Proc. ACM Program. Lang.

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)