Ce projet vise à échanger des idées, des opinions et des définitions pour la sémantique de sous-ensembles de la langue OCaml ou de certains langages intermédiaires pour OCaml. Il est organisé en différentes sections, dont une dédiée à l'intermédiaire langage utilisé par l'analyseur statique Salto.