MAGπ: Types for Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

Browse the full ESOP paper archive.