Debugging type errors with a blackbox compiler - Sharrad, Joanna (University of Kent, 2022)
Keywords: QA 75 Electronic computers. Computer science