Comment by gsuuon

A more developed example is HVM[1] which is also built on interaction nets - this computation model enables for-free parallelization

[1] https://github.com/HigherOrderCO/HVM