%0 Thesis %1 phd/ethos/Grimley90 %A Grimley, Allan %D 1990 %K %T Inductive types in functional programming.

@phdthesis{phd/ethos/Grimley90, added-at = {2023-12-14T16:06:15.000+0100}, author = {Grimley, Allan}, biburl = {https://www.bibsonomy.org/bibtex/238f3351de8f178096a5e912076eb42c6/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253737}, interhash = {f38f65bef8609b5bf086e070ba80028a}, intrahash = {38f3351de8f178096a5e912076eb42c6}, keywords = {}, note = {British Library, EThOS}, school = {University of Kent, UK}, timestamp = {2023-12-14T16:06:15.000+0100}, title = {Inductive types in functional programming.}, year = 1990 }