@article{koronkevich-2022-anf, title={ANF preserves dependent types up to extensional equality}, volume={32}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796822000090}, DOI={10.1017/s0956796822000090}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={KORONKEVICH, PAULETTE and RAKOW, RAMON and AHMED, AMAL and BOWMAN, WILLIAM J.}, year={2022} }