Report - Typechecking Protocols with Mungo and StMungo · Session types, object-oriented programming, typestate, protocols, typestate inference. 1. ... important idea, this earlier work lacked

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form