多段階計算の型システムの基礎

最終更新：

スライド プログラミング言語 型システム 多段階計算
PDF

※制作に使用した当時のKeynoteまたはLaTeXiTの不具合なのか，直接PDFとして出力したファイルが壊れていたため，Keynoteに各ページを画像として出力させたものを結合してPDFにしています．

初出：