Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Didier Rémy APPSEM'2000 summer school1 Copyright © 2000, 2001 by Didier Rémy. These notes have also been published in Lectures Notes in Computer Science. A preliminary version was written for the Appsem 2000 summer school held in Camina, Portugal on September 2000. The notes are also available in Postscr