Daniele Nantes-Sobrinho

構造的分析を通じてソフトウェアの正確性を確保する方法。

名義代数がプログラミングにおける名前とバインディングの管理にどう関わってるか探ってみて。

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