1. Migrating gradual types. (6th October 2022) Authors: CAMPORA, JOHN PETER; CHEN, SHENG; ERWIG, MARTIN; WALKINGSHAW, ERIC 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. Systematic identification and communication of type errors*. (25th January 2018) Authors: CHEN, SHENG; ERWIG, MARTIN Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗