Company:
- HOC: Towards an Optimal Computer: why interaction paradigm can improve computers.
- HOC: Can we build an optimal processor?: like above, but as a tweet.
- HOC: Complete Historical Overview: the lore behind HOC's creation.
Theory:
- Interaction Combinators - Y.Lafont 1997: a concurrent model of computation
- Symmetric Interaction Combinators - Damiano Mazza 2009: a symmetric variant (used by HVM)
- The Optimal Implementation of Functional Programming Languages - best book to learn
- [BOHM](https://www.cambridge.org/core/services/aop-cambridge-core/content/