MAG: Types for Failure-Prone Communication

von Brun, Matthew Alan Le
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)