Back to Basics: Deriving Representation Changers Functionally
Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include base-converters, binary adders and multipliers, and compilers. In this paper we give a number of diff...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
1996
|
| Online Access: | https://eprints.nottingham.ac.uk/222/ |