EliomEliom is a powerful framework for programming Web applications in OCaml. See the full documentation here.