Actor Model
Recommended by Ryota Fujisawa
Coq
Haskell
Scala
Keep up to date with your connections on the Wantedly People App.