Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}