| (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

Links

resources for Programming methodology (in Polish)

about Unicode (in Polish)

academic year calendar

semiformal students' forum

script for running programs in C

Publications

Małgorzata Biernacka, Witold Charatonik, Tomasz Drab.
A Derived Reasonable Abstract Machine for Strong Call by Value.
PPDP 2021. [DOI] [arXiv]

Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab.
An Abstract Machine for Strong Call by Value.
APLAS 2020. [DOI] [arXiv]

Tomasz Drab.
Lambda calculus for beginners (in Polish).
Informatyka w Edukacji, Toruń, 2019. [UMK]

Tomasz Drab.
Computing science based on calculi (in Polish).
Informatyka w Edukacji, Toruń, 2019. [UMK]

Courses (in Polish)

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]