Gabriele Vanoni

モナディックインターセクション型がプログラミング言語の型システムを改善する役割を探ってみよう。

ツリー変換器とデータ変換における役割を見てみよう。