On Interaction Nets and Hardware
Summary
The article introduces interaction nets as a graph-based model of computation and explains locality, parallelism, and linearity. It discusses efficient implementations, programming considerations with Vine, and hardware implications for scalable multi-core architectures.