Welcome to Torbreck’s documentation!

Contents:

• The ZINC not-so-abstract machine
  • Krivine Machine
  • Krivine’s machine with marks on the stack
  • The ZINC machine
  • Accessing local variables
  • Application
  • Abstractions
  • Local declarations
  • Primitives
  • Environment representation
  • The linker and the runtime system