Towards modular compilers for effects

Day, Laurence and Hutton, Graham (2012) Towards modular compilers for effects. In: International Symposium on Trends in Functional Programming (12th), 16-18 May 2011, Madrid, Spain.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (211kB) | Preview


Compilers are traditionally factorised into a number of separate phases, such as parsing, type checking, code generation, etc. However, there is another potential factorisation that has received comparatively little attention: the treatment of separate language features, such as mutable state, input/output, exceptions, concurrency and so forth. In this article we focus on the problem of modular compilation, in which the aim is to develop compilers for separate language features independently, which can then be combined as required. We summarise our progress to date, issues that have arisen, and further work

Item Type: Conference or Workshop Item (Paper)
Additional Information: The final publication is available at Springer via Published in: Trends in functional programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers. Lecture notes in computer science 7193. Heidelberg : Springer, 2012, ISBN: 978-3-642-32036-1. pp. 49-64, doi: 10.1007/978-3-642-32037-8_4
Keywords: Modularity, Haskell, Compilation, Monad
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Depositing User: Hutton, Prof Graham
Date Deposited: 18 Mar 2015 09:38
Last Modified: 18 Sep 2016 10:38

Actions (Archive Staff Only)

Edit View Edit View