第42回情報科学若手の会のセッション1で「型レベルプログラミングとScala」というタイトルで発表しました。基本的に、型レベルプログラミングの会で発表したスライドをベースに多少修正(型レベル高階関数などの記述を追加)を加えた程度なので、型レベルプログラミングの会に参加された方やスライドを見た方は改めて見る必要は無いかと思います。
第42回情報科学若手の会のセッション1で「型レベルプログラミングとScala」というタイトルで発表しました。基本的に、型レベルプログラミングの会で発表したスライドをベースに多少修正(型レベル高階関数などの記述を追加)を加えた程度なので、型レベルプログラミングの会に参加された方やスライドを見た方は改めて見る必要は無いかと思います。