Sesterl： 静的型つきML系AltErlang

最終更新：

スライド プログラミング言語 型システム Erlang Sesterl
PDF

以下のカジュアルな行事にて発表させてもらった際のスライドです：

以下のリポジトリで開発しています：

初出：