Gil Silva

プログラミングにおける文脈自由セッションタイプの新しいサブタイピング手法についての考察。