Shutdown Archive web server
Resources for the print article.
Unison Home page: www.cis.upenn.edu/~bcpierce/unison
Objective Caml: caml.inria.fr