Skip to content

Author

T. Petříček

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

Towards Critical Abstraction for Software

Abstraction in computer science is typically understood as the process of generalization that removes non-essential details and captures key shared characteristics across multiple instances. This is a limited view of abstraction when contrasted with fields like art, architecture, media theory, or philosophy, where abst...

Alice Mira Chung, Devamardeep Hayatpur, Philip J. Guo et al. · 0 citations
#small language model Book Open access Oct 2026

The Choose-Your-Own-Adventure Calculus

In many programming systems, the user can interactively construct a program by repeatedly triggering a completion mechanism and choosing one of the offered options. This is the case with code editors for object-oriented languages (choosing a member), data exploration environments (choosing a transformation), but also w...

T. Petříček, J. Verter, Mikolas Fromm · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.