This is a quick OCaml implementation of the ideas in this paper:
Sylvain Conchon and Jean-Christophe Filliâtre
Semi-persistent Data Structures.
ESOP 2008. Lecture Notes in Computer Science, vol 4960, pp 322--336.
En Français :
Ce code a été préparé pour un séminaire donné dans le cadre du cours de Xavier Leroy sur les structures de données persistants au Collège de France.
La vidéo et les transparents sont disponibles ici.