Repairing type errors in functional programs
Type systems for programming languages can be used by compilers to reject programs which are found to be unsound and which may, therefore, fail to execute successfully. When a program is rejected the programmer must repair it so that it can be type-checked correctly and then executed safely. Diagnos...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
2002
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561799 |