Brigitte Pientka

A look at adjoint logic and its applications in programming and computation.

Session types enable structured communication between system components for improved reliability.

This paper presents an efficient tree diffing method using SAT solving.

Tyro enhances type error identification for programmers, especially beginners.

Introducing a framework for safe and efficient code generation.