The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical...