minicaml is a compiler for a very restricted subset of OCaml with an LLVM backend. The compiler uses typed closure conversion.
Download: minicaml