Joseph W. N. Paulus

並行プログラミングでのプログラムの終了とその重要性について学ぼう。

型付き非決定性の理解と、それがコンピューティングにおけるリソース管理に与える影響。