Sesterl: An ML-like Statically-Typed Erlang

slides type system Erlang Sesterl

(Not translated to English)

I gave a presentation at the following casual event with the slides above:

I have been developing Sesterl at this repository:

First appearance: