*Result*: Beautiful Code, Beautiful Proof?

Beautiful Code, Beautiful Proof?
Implementation and application of functional languages; The beauty of functional code: essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday

de Mol, M., van Eekelen, M.

LECTURE NOTES IN COMPUTER SCIENCE. (8106):1-7

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN085393727&indx=1&recIds=ETOCCN085393727

British Library Document Supply Centre Inside Serials & Conference Proceedings