@misc{indiciaecf9e5ddf6878,
  title = {Constraint-based type inference for FreezeML},
  author = {Frank Emrich and Jan Stolarek and James Cheney and Sam Lindley},
  year = {2022},
  url = {https://arxiv.org/abs/2207.09914},
  note = {Source identifier: 2207.09914}
}