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

Abstract machines for programming language implementation

The Functional Abstract Machine