School of Computing

Progress on HaRe: the Haskell Refactorer

Huiqing Li, Claus Reinke, and Simon Thompson

Poster presentation at the International Conference on Functional Programming, Snowbird, Utah. ACM, September 2004.

Bibtex Record

@unpublished{2018,
author = {Huiqing Li and Claus Reinke and Simon Thompson},
title = {{P}rogress on {H}a{R}e: the {H}askell {R}efactorer},
month = {September},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Poster presentation at the  International Conference on Functional Programming, Snowbird, Utah. ACM},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/2018},
    publication_type = {unpublished},
    submission_id = {11645_1101836446},
}

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

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

Last Updated: 21/03/2014