Dan Ingalls��� HOPL IV paper is out now:

https://dl.acm.org/doi/abs/10.1145/3386335

- Vanessa -