2017-12-13から1日間の記事一覧

Coqによる型推論器の形式的検証

Coq

この記事は言語実装 Advent Calendar 2017の10日目（！？）のために書かれました． 9日目の記事は@ukitakaさんのSwiftコンパイラで採用されているパターンマッチの網羅性チェックの理論と実装です．