path: root/documentation/bookmark/type_theory/gradual.md

# Reference

0. [Putting gradual types to work](https://arxiv.org/abs/2101.12299)