This is your work, valued

COCTI Project

Advanced
@COCTI

Certified OCaml Type Inference

www.math.nagoya-u.ac.jp/~garrigue/cocti/