Skip to main content

Research Repository

Advanced Search

Towards modular compilers for effects

Day, Laurence; Hutton, Graham

Authors

Laurence Day



Abstract

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

Citation

Day, L., & Hutton, G. (2012). Towards modular compilers for effects

Conference Name International Symposium on Trends in Functional Programming (12th)
End Date May 18, 2011
Publication Date Mar 1, 2012
Deposit Date Mar 18, 2015
Publicly Available Date Mar 18, 2015
Peer Reviewed Peer Reviewed
Volume 7193
Series Title Lecture Notes in Computer Science
Keywords Modularity, Haskell, Compilation, Monad
Public URL http://eprints.nottingham.ac.uk/id/eprint/28185
Publisher URL http://link.springer.com/chapter/10.1007/978-3-642-32037-8_4
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Additional Information The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32037-8_4.

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

Files


mod-comp.pdf (211 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations