‪Tomasz Drab‬ - ‪Academic Search‬

Get my own profile

Cited by

	All	Since 2020
Citations	40	40
h-index	4	4
i10-index	2	2

0

16

8

20212022202320245 11 9 15

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Malgorzata BiernackaAssistant Professor, Institute of Computer Science, University of WroclawVerified email at cs.uni.wroc.pl
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Dariusz BiernackiUniversity of WroclawVerified email at cs.uni.wroc.pl

Tomasz Drab

Tomasz Drab

University of Wrocław

Verified email at cs.uni.wroc.pl - Homepage

Lambda calculus


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An abstract machine for strong call by value M Biernacka, D Biernacki, W Charatonik, T Drab Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020	16	2020
A derived reasonable abstract machine for strong call by value M Biernacka, W Charatonik, T Drab Proceedings of the 23rd International Symposium on Principles and Practice …, 2021	12	2021
The Zoo of Lambda-Calculus Reduction Strategies, And Coq M Biernacka, W Charatonik, T Drab 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022	6	2022
A simple and efficient implementation of strong call by need by an abstract machine M Biernacka, W Charatonik, T Drab Proceedings of the ACM on Programming Languages 6 (ICFP), 109-136, 2022	5	2022
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction T Drab arXiv preprint arXiv:2405.12586, 2024	1	2024
RACHUNEK LAMBDA DLA POCZĄTKUJĄCYCH T Drab

The system can't perform the operation now. Try again later.

Articles 1–6