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) ↗
2. Gradual type theory. (14th October 2021) Authors: NEW, MAX S.; LICATA, DANIEL R.; AHMED, AMAL Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗