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...

Full description

Bibliographic Details
Main Authors: Day, Laurence, Hutton, Graham
Format: Conference or Workshop Item
Published: Springer 2012
Subjects:
Online Access:https://eprints.nottingham.ac.uk/28185/