From Krivine's machine to the Caml implementations [pdf]