CAML Tutorial
Dependent Types for High- Confidence Distributed Systems Paul Sivilotti - Ohio State Hongwei Xi – Cincinnati (Boston Univ.)
1 Dependent Types in Practical Programming Hongwei Xi University of Cincinnati.