- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 13 comments compsci
- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 14 comments programming
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 191 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- F* Tutorial http://fstar-lang.org/tutorial/ 109 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Monad (functional programming) - Wikipedia https://en.wikipedia.org/wiki/Monad_(functional_programming) 25 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- http://www.cs.cmu.edu/~aldrich/papers/onward2009-state.pdf 12 comments
- The Plaid Programming Language http://www.cs.cmu.edu/~aldrich/plaid/ 0 comments
- Agda (programming language) - Wikipedia https://en.wikipedia.org/wiki/Agda_(programming_language) 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:olleharstedt.github.io
Search title: Typestate-oriented programming in F*
See how to search.