Skip to content

Specifying Message Formats with Contiguity Types.

Konrad Slind

VenueBITP
Year2021
ProceedingsITP

Browse the full ITP paper archive.