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).
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
Abstract machines for programming language implementation
The Functional Abstract Machine