Missing paper reference

[impredicative]

I found this repo from https://arxiv.org/abs/1606.07659 but this paper is not referenced in the repo. Maybe it should be.