1. ANF preserves dependent types up to extensional equality. (16th September 2022) Authors: KORONKEVICH, PAULETTE; RAKOW, RAMON; AHMED, AMAL; BOWMAN, WILLIAM J. Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗