Joseph W. N. Paulus

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