| (cookie)

Tomasz Drab

PhD student at Programming Languages Group

Contact Information

Institute of Computer Science
University of Wrocław
Joliot-Curie 15
50-383 Wrocław, Poland

room 340

email: tdr@cs.uni.wroc.pl (approximate working time: weekdays, 9–17)
profile on System Zapisów (office hours)

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

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]

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]