School of Computing

The Haskell Refactorer: HaRe, and its API

Huiqing Li, Simon Thompson, and Claus Reinke

In John Boyland and G�rel Hedin, editors, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), pages 182-196, April 2005 Published as Volume 141, Number 4 of Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/science/journal/15710661. Download publication 136 kbytes (PDF)

Bibtex Record

@inproceedings{2158,
author = {Huiqing Li  and Simon Thompson and Claus Reinke},
title = {{T}he {H}askell {R}efactorer: {H}a{R}e, and its {API}},
month = {April},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Published as Volume 141, Number 4 of Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/science/journal/15710661},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2158},
    publication_type = {inproceedings},
    submission_id = {10974_1113486043},
    booktitle = {Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005)},
    editor = {John Boyland  and  G�rel Hedin},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014