Patricia Johann, Janis Voigtländer. The Impact of seq on Free Theorems-Based Program Transformations. Fundamenta Informaticae, 69(1-2):63-102, 2006. [doi]
@article{JV06,
title = {The Impact of seq on Free Theorems-Based Program Transformations},
author = {Patricia Johann and Janis Voigtländer},
year = {2006},
doi = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=69&issue=1&spage=63},
tags = {program transformation, transformation language, programming languages, transformation, algebra, functional programming, systematic-approach, Haskell, rule-based},
researchr = {http://researchr.org/publication/JV06},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {69},
number = {1-2},
pages = {63-102},
}