Skip to content

A Self-Dual Distillation of Session Types.

Jules Jacobs

VenueAECOOP
Year2022
ProceedingsECOOP

Browse the full ECOOP paper archive.