School of Computing

Transformation in HaRe

Chau Nguyen-Viet

Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004.


HaRe [?] is a system developed at the University of Kent Computing Laboratory to support refactoring in Haskell. We also want HaRe to be an open platform to support general Haskell program transformation so it can be used by other researchers in the field. This paper demonstrates the facilities HaRe provides for program transformation by implementing a deforestation transformation as a case study.

Download publication 161 kbytes (PDF)

Bibtex Record

author = {Chau Nguyen-Viet},
title = {{Transformation in HaRe}},
month = {December},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {techreport},
    submission_id = {29677_1102607862},
    address = {University of Kent, Canterbury, Kent, UK},
    institution = {University of Kent, Computing Laboratory},

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

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

Last Updated: 21/03/2014