@entry{dar-kun-11-ab,
  author = {E Darulova and V Kuncak},
  title = {Trustworthy numerical computation in scala},
  journal = {Proceedings of the 2011 ACM international ...,},
  year = 2011,
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2048066.2048094?casa_token=Z9A_EvSg26wAAAAA:exfs1zjo2bwFUz2yxXOMBfo0mDAUaBn6vaYh_AIq3wV3YhgzLF41EjmbIadezKFAEMP4bNHpee4}}},
  quotes = {... On the other hand, using our affine-arithmeticbased type we compute an absolute error of 1.34 \uc{2217} 10\uc{2212}15, which is (by the correctness of our approach) sound, yet two decimal orders of ...}
}