| (cookie)
PhD from Programming Languages Group
email:
tdr@cs.uni.wroc.pl
profile on System Zapisów
ORCID dblp conf.researchr YouTube
resources for Programming methodology (in Polish)
sources of knowledge (in Polish)
script for running programs in C
Tomasz Drab.
Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines.
(doctoral dissertation) 2022.
[arXiv]
[slides]
[code]
[YouTube]
Małgorzata Biernacka,
Witold Charatonik,
Tomasz Drab.
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine.
27th ACM SIGPLAN International Conference on Functional Programming
(ICFP) 2022.
[DOI (open access)]
[code]
[YouTube]
Małgorzata Biernacka,
Witold Charatonik,
Tomasz Drab.
The Zoo of Lambda-Calculus Reduction Strategies, and Coq.
13th International Conference on Interactive Theorem Proving
(ITP) 2022.
[DOI (open access)]
[slides]
[code]
[YouTube]
Małgorzata Biernacka,
Witold Charatonik,
Tomasz Drab.
A Derived Reasonable Abstract Machine for Strong Call by Value.
23rd International Symposium on Principles and Practice of Declarative Programming
(PPDP) 2021.
[DOI]
[arXiv]
[code]
Małgorzata Biernacka,
Dariusz Biernacki,
Witold Charatonik,
Tomasz Drab.
An Abstract Machine for Strong Call by Value.
18th Asian Symposium on Programming Languages and Systems
(APLAS) 2020.
[DOI]
[arXiv]
[code]
[YouTube]
Tomasz Drab.
Lambda calculus for beginners (in Polish).
Informatyka w Edukacji, Toruń, 2019.
[draft]
[UMK]
Tomasz Drab.
Computing science based on calculi (in Polish).
Informatyka w Edukacji, Toruń, 2019.
[draft]
[UMK]
Metody programowania 21/22L (ćwiczenia i pracownia) [SKOS]
Kurs: Wstęp do programowania w języku C 21/22Z (pracownia) [SKOS]
Metody programowania 20/21L (ćwiczenia i pracownia) [SKOS]
Kurs: Podstawowy warsztat informatyka 20/21Z (pracownia)
Kurs: Wstęp do programowania w języku C 20/21Z (pracownia) [SKOS]
Metody programowania 19/20L (ćwiczenia i pracownia) [SKOS]
Kurs: Wstęp do programowania w języku C 19/20Z (pracownia) [SKOS]
Metody programowania 18/19L (ćwiczenia i pracownia) [SKOS]
Kurs: Wstęp do programowania w języku C 18/19Z (pracownia) [SKOS]