| (cookie)

Tomasz Drab

PhD from Programming Languages Group

Contact Information

email: tdr@cs.uni.wroc.pl
profile on System Zapisów

ORCID  dblp  conf.researchr  YouTube

Links

academic year calendar

resources for Programming methodology (in Polish)

sources of knowledge (in Polish)

about Unicode (in Polish)

semiformal students' forum

script for running programs in C

Papers

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]

Courses (in Polish)

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]