Sesterl: 静的型つきML系AltErlang

スライド 型システム Erlang Sesterl

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

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

初出: