An Abstract Machine for Strong Call by Value. - Malgorzata Biernacka; Dariusz Biernacki; Witold Charatonik; Tomasz Drab (APLAS, 2020)

A Derived Reasonable Abstract Machine for Strong Call by Value. - Malgorzata Biernacka; Witold Charatonik; Tomasz Drab (PPDP, 2021)

Strong Call by Value is Reasonable for Time. - Malgorzata Biernacka; Witold Charatonik; Tomasz Drab (CoRR, 2021)

The Zoo of Lambda-Calculus Reduction Strategies, And Coq. - Malgorzata Biernacka; Witold Charatonik; Tomasz Drab (ITP, 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)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction. - Tomasz Drab (CoRR, 2024)