@misc{indiciaef48d4651e712,
  title = {Typability and Type Inference in Atomic Polymorphism},
  author = {M. Clarence Protin and Gilda Ferreira},
  year = {2022},
  doi = {10.46298/lmcs-18(3:22)2022},
  url = {https://arxiv.org/abs/2104.13675},
  note = {Source identifier: 2104.13675}
}