Tomasz Drab

According to our database, Tomasz Drab authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction.

Tomasz Drab

CoRR, 2024

2022

A simple and efficient implementation of strong call by need by an abstract machine.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proc. ACM Program. Lang., 2022

The Zoo of Lambda-Calculus Reduction Strategies, And Coq.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Strong Call by Value is Reasonable for Time.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

CoRR, 2021

A Derived Reasonable Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020