@misc{indiciae5a37f8a5175c,
  title = {Gradual System F},
  author = {Elizabeth Labrada and Matías Toro and Éric Tanter},
  year = {2020},
  url = {https://arxiv.org/abs/1807.04596},
  note = {Source identifier: 1807.04596}
}