About the Languages category
F* - an ML-like functional programming language aimed at program verification
Philip Wadler's on Simplicity and Michelson
Juvix: Haskell-to-Michelson source transpiler for writing smart contracts
Why formal verification?
Real World OCaml - 2nd Edition (in progress)
next page →