We propose SessionC#, a lightweight session typed library for safe concurrent/distributed programming. The key features are (1) the improved ...
確定! 回上一頁