TITLE     : Typed unification and pattern-matching in OCaml
AUTHOR(S) : Loddo J, Fouqueré C, Righi M, Russo D
TYPE      : Other
YEAR      : 2016
CODE      : 359250

*** DO NOT EDIT THIS FILE ***