discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Typestate-oriented programming in F*
http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html
13 comments
26/2/2017
compsci
Typestate-oriented programming in F*
http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html
14 comments
26/2/2017
programming