# Reference

0. [The Semantics of Rank Polymorphism](https://arxiv.org/abs/1907.00509)