Brigitte Pientka

Universality of proofs

Gilles Dowek, Florian Rabe, Catherine Dubois, 2017 .

Contextual Types, Explained: Invited Tutorial

Brigitte Pientka, B. Pientka, 2020, LICS.

Learn-OCaml Extensions and Repository for Article Teaching the Art of Functional Programming using Automated Grading (Experience Report)

Brigitte Pientka, Aliya Hameer, 2019 .