Francesco Gavazzo

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