Compiler and run-time system

Based on the <ν,G> machine [2]

• Designed to support parallel execution on a multi-processor machine
  • Easy to support low-latency interrupt handling
• Very simple memory management
  • No stack, everything is in the heap
  • Root set for GC: just one pointer (ν, the current redex)