@misc{indiciaeb7bc9335dc9d,
  title = {Dependent Type Refinements for Futures},
  author = {Siva Somayyajula and Frank Pfenning},
  year = {2023},
  doi = {10.46298/entics.12286},
  url = {https://arxiv.org/abs/2309.08581},
  note = {Source identifier: 2309.08581}
}