COCTI : Certifiable OCaml Type Inference


COCTI is a 3 year project, supported by the Tezos Foundation, which aims at making OCaml type inference robust, modular, and verifiable.

Goals

Our short terms goals are Eventually, we would like to complete the following tasks:

Members

Our current members are, at Nagoya University: and at AIST Tsukuba:

Activity

Developement takes place on our GitHub group.
2020.08.06