The same authors have a 2020 working paper on arxiv, "An Introduction to Rank-polymorphic Programming in Remora" https://arxiv.org/abs/1912.13451 https://arxiv.

The same authors have a 2020 working paper on arxiv, "An Introduction to Rank-polymorphic Programming in Remora" https://arxiv.org/abs/1912.13451 https://arxiv.org/abs/1912.13451