ZINC is the abstract virtual machine that powers the Caml Light and OCaml languages.
Read Xavier Leroy’s paper. After it happens, check out the proceedings from KAZAM (Krivine and ZINC abstract machines Workshop).
Other papers about or mentioning ZINC or Krivine’s machine:
A Functional Correspondence between Evaluators and Abstract Machines
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
Sequent Calculus and Abstract Machines
From Operational Semantics to Abstract Machines