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