Vlad Kosarev

Technologist based in Toronto.

CTO at Official Community.

©2017 Vlad Kosarev

Vlad Kosarev

Typestate-oriented programming in F*

Read at https://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html