%0 Thesis %1 phd/ethos/Collins01 %A Collins, Graham Richard McFarlane %D 2001 %K dblp %T Supporting formal reasoning about functional programs.

@phdthesis{phd/ethos/Collins01, added-at = {2022-04-05T00:00:00.000+0200}, author = {Collins, Graham Richard McFarlane}, biburl = {https://www.bibsonomy.org/bibtex/2fa1963700d92984ecfbc06f3fb5ea4e7/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.343911}, interhash = {2016f213b28ff5008349d1b5e6b03fed}, intrahash = {fa1963700d92984ecfbc06f3fb5ea4e7}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Glasgow, UK}, timestamp = {2024-04-09T09:00:36.000+0200}, title = {Supporting formal reasoning about functional programs.}, year = 2001 }