1. Fair enumeration combinators. (30th August 2017) Authors: NEW, MAX S.; FETSCHER, BURKE; FINDLER, ROBERT BRUCE; MCCARTHY, JAY Journal: Journal of functional programming Issue: Volume 27(2017) 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) ↗