In the Age of Web: Typed Functional-First Programming Revisited. - Tomas Petricek 001; Don Syme; Zach Bray (ML/OCaml, 2014)