Pablo Barenbaum

この研究は、プログラミング言語の評価戦略を組み合わせた新しい型システムに焦点を当ててるんだ。