%0 Journal Article %1 journals/jfp/Harper09 %A Harper, Robert %D 2009 %J J. Funct. Program. %K dblp %N 2 %P 262 %T FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. %U http://dblp.uni-trier.de/db/journals/jfp/jfp19.html#Harper09 %V 19

@article{journals/jfp/Harper09, added-at = {2018-08-14T00:00:00.000+0200}, author = {Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/222b29ab8d5b164a7cbde31a4a14f0355/dblp}, ee = {https://doi.org/10.1017/S0956796808007119}, interhash = {8b94762ecb943734d13404ac4572bf74}, intrahash = {22b29ab8d5b164a7cbde31a4a14f0355}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = 262, timestamp = {2018-08-15T11:47:22.000+0200}, title = {FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp19.html#Harper09}, volume = 19, year = 2009 }