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)