Towards modular compilers for effects
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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
Springer
2012
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28185/ |
| _version_ | 1848793521342906368 |
|---|---|
| author | Day, Laurence Hutton, Graham |
| author_facet | Day, Laurence Hutton, Graham |
| author_sort | Day, Laurence |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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 |
| first_indexed | 2025-11-14T19:01:37Z |
| format | Conference or Workshop Item |
| id | nottingham-28185 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:01:37Z |
| publishDate | 2012 |
| publisher | Springer |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-281852020-05-04T20:21:46Z https://eprints.nottingham.ac.uk/28185/ Towards modular compilers for effects Day, Laurence Hutton, Graham 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 Springer 2012-03 Conference or Workshop Item PeerReviewed 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. Modularity Haskell Compilation Monad http://link.springer.com/chapter/10.1007/978-3-642-32037-8_4 |
| spellingShingle | Modularity Haskell Compilation Monad Day, Laurence Hutton, Graham Towards modular compilers for effects |
| title | Towards modular compilers for effects |
| title_full | Towards modular compilers for effects |
| title_fullStr | Towards modular compilers for effects |
| title_full_unstemmed | Towards modular compilers for effects |
| title_short | Towards modular compilers for effects |
| title_sort | towards modular compilers for effects |
| topic | Modularity Haskell Compilation Monad |
| url | https://eprints.nottingham.ac.uk/28185/ https://eprints.nottingham.ac.uk/28185/ |