Skip to content

A Bounded Parallel Intersection Type System.

Andrej Dudenhefner, Aleksy Schubert, Jakob Rehof

VenueBFSCD
Year2026
ProceedingsFSCD

Browse the full FSCD paper archive.