keigoi

keigoi

Interested in applied type systems (esp. session types).
Some projects:
https://github.com/keigoi/ocaml-mpst
https://github.com/keigoi/linocaml
https://github.com/keigoi/session-ocaml