Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
@techreport{PopeHonsThesis,
author = {B. Pope},
title = {Buddha: A declarative debugger for {H}askell},
institution = {The University of Melbourne},
number = {98/12},
year = {1998},
}
@unpublished{PopeGlynnHaskForMira,
author = {B. Pope and K. Glynn},
title = {Haskell for {M}iranda programmers},
year = {1998},
}
@unpublished{PopePreludeTour,
author = {B. Pope},
title = {A Tour of the {H}askell {P}relude},
year = {1999},
}
@inproceedings{PopeNaishSpec,
author = {B. Pope and L. Naish},
title = {Specialisation of Higher-Order Functions for Debugging},
booktitle = {Electronic Notes in Theoretical Computer Science},
volume = {64},
publisher = {Elsevier Science Publishers},
editor = {M. Hanus},
year = {2002}
}
@unpublished{PopeNaishIFL01,
author = {B. Pope and L. Naish},
title = {Reification for Debugging},
year = {2001},
note = {Presented at the International Workshop on the Implementation of Functional Programming Languages (IFL 2001)},
}
@unpublished{PopeNaish02,
author = {B. Pope and L. Naish},
title = {A Program Transformation for Declarative Debugging},
year = {2002},
note = {Submitted to ASIA PEPM 02},
}
@article{PopeNaishACSC03,
Author = { Pope, B. and Naish, L },
Title = { A Program Transformation for Debugging
{Haskell-98}},
journal = {Australian Computer Science Communications},
volume = {25},
number = {1},
editor = {M. Oudshoorn},
year = {2003},
Month = jan,
pages = {227--236},
issn = {1445-1336},
isbn = {0-909925-94-1},
comment{ AKA Proceedings of the Twenty-Sixth Australian
Computer Science Conference (ACSC2003) and Conferences in
Research and Practice in Information Technology, Volume 16}
}
@inproceedings{PopeNaishPPDP,
author = { Pope, B. and Naish, Lee },
title = {Practical Aspects of Declarative Debugging in {Haskell-98}},
booktitle = {Fifth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative
Programming},
year = {2003},
pages = {230--240},
note = {ISBN:1-58113-705-2},
}