@article{economou-2023-focusing, title={Focusing on Refinement Typing}, volume={45}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3610408}, DOI={10.1145/3610408}, number={4}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Economou, Dimitrios J. and Krishnaswami, Neel and Dunfield, Jana}, year={2023}, month=Dec, pages={1–62} }