%0 Thesis %1 phd/ethos/Wilson11 %A Wilson, Sean %D 2011 %K dblp %T Supporting dependently typed functional programming with proof automation and testing.

@phdthesis{phd/ethos/Wilson11, added-at = {2022-05-04T00:00:00.000+0200}, author = {Wilson, Sean}, biburl = {https://www.bibsonomy.org/bibtex/26bd760929e9807c15d9e648d0a48ab53/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.563410}, interhash = {2f3936ac1a72b6a53345b65ddaab8906}, intrahash = {6bd760929e9807c15d9e648d0a48ab53}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:57:13.000+0200}, title = {Supporting dependently typed functional programming with proof automation and testing.}, year = 2011 }