Parametric polymorphism and operational improvement
Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as yet no comparable technique for reasoning about program improvement, that is, when one program uses fewer resources than another. Existing theories of...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Association for Computing Machinery
2018
|
| Online Access: | https://eprints.nottingham.ac.uk/52868/ |