Un exemple de compilateur vers la LLVM écrit en OCaml (fr)

Ayant fini la lecture du TAPL (Types And Programming Languages), j'ai eu envie de me lancer dans un projet de compilateur. Mon choix s'est porté sur System Fω car je trouve personnellement que c'est un bon compromis entre d'une part l'expressivité et d'autre part la complexité.