@article{somayyajula-2023-dependent, title={Dependent Type Refinements for Futures}, volume={Volume 3 - Proceedings of...}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.12286}, DOI={10.46298/entics.12286}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Somayyajula, Siva and Pfenning, Frank}, year={2023}, month=Nov }