Eliom

Eliom is a powerful framework for programming Web applications in OCaml.

See the full documentation here.