Saturday, February 25, 2017

Typestate-oriented programming in F*

http://ift.tt/2lS61S5

Submitted February 25, 2017 at 07:01PM by ollehar http://ift.tt/2lSaSCv Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)