Davide Sangiorgi

セッションタイプがソフトウェアシステムで安全なコミュニケーションをどう保証するか学ぼう。

コンピュータサイエンスにおける関数をプロセスで表現することの概念を探ろう。