%0 Thesis %1 phd/ethos/Richardson96 %A Richardson, J. D. C. %D 1996 %K dblp %T The use of proof plans for transformation of functional programs by changes of data type.

@phdthesis{phd/ethos/Richardson96, added-at = {2022-04-05T00:00:00.000+0200}, author = {Richardson, J. D. C.}, biburl = {https://www.bibsonomy.org/bibtex/2e269594676ba2fa6850db5bd77af853d/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.661115}, interhash = {ba4570dc234e1e58e1d158c5f6b6ab2f}, intrahash = {e269594676ba2fa6850db5bd77af853d}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:52:21.000+0200}, title = {The use of proof plans for transformation of functional programs by changes of data type.}, year = 1996 }