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: | Day, Laurence, Hutton, Graham |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
Springer
2012
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28185/ |
Similar Items
The modular compilation of effects
by: Day, Laurence E.
Published: (2017)
by: Day, Laurence E.
Published: (2017)
Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)
by: Bracker, Jan, et al.
Published: (2016)
Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)
by: Bracker, Jan, et al.
Published: (2016)
Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)
Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)
by: Green, Alexander S.
Published: (2010)
Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)
by: Jaskelioff, Mauro Javier
Published: (2009)
Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)
Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)
by: Perez, Ivan, et al.
Published: (2016)
Efficient implementations of expressive modelling languages
by: Chupin, Guerric
Published: (2022)
by: Chupin, Guerric
Published: (2022)
Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)
by: Groves, Michael J., et al.
Published: (1993)
Flexible self-locking intermodular connection for prefabricated modular steel buildings
by: Gohar, Nadeem
Published: (2022)
by: Gohar, Nadeem
Published: (2022)
Is Experts' Knowledge Modular?
by: Gobet, Fernand
Published: (2001)
by: Gobet, Fernand
Published: (2001)
Kolyvagin Derivatives of Modular Points on Elliptic Curves
by: Hatton, Richard
Published: (2020)
by: Hatton, Richard
Published: (2020)
Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)
by: Sculthorpe, Neil
Published: (2011)
New modulation scheme for bidirectional quasi z-source modular multilevel converters
by: Khera, Fatma, et al.
Published: (2018)
by: Khera, Fatma, et al.
Published: (2018)
Improved operation and design of modular multi-level converters through harmonic injection
by: Elayeb, Salahedin
Published: (2019)
by: Elayeb, Salahedin
Published: (2019)
Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)
by: Legatiuk, Dmitrii, et al.
Published: (2017)
A novel N-phase multi-modular series HVDC tap
by: Tang, Yunpeng
Published: (2017)
by: Tang, Yunpeng
Published: (2017)
Hybrid modular multilevel converter (MMC) applications under over-modulation
by: Donoso Merlet, Felipe Octavio
Published: (2022)
by: Donoso Merlet, Felipe Octavio
Published: (2022)
A functional specification of effects
by: Swierstra, Wouter
Published: (2009)
by: Swierstra, Wouter
Published: (2009)
High power modular converters for grid interface applications
by: Jankovic, Marija
Published: (2017)
by: Jankovic, Marija
Published: (2017)
The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)
by: Capretta, Venanzio, et al.
Published: (2017)
The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)
by: Capretta, Venanzio, et al.
Published: (2017)
Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)
by: Hutton, Graham, et al.
Published: (2004)
Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)
by: Bahr, Patrick, et al.
Published: (2015)
ESBC: an enhanced modular multilevel converter with H-bridge front end
by: Amankwah, Emmanuel, et al.
Published: (2017)
by: Amankwah, Emmanuel, et al.
Published: (2017)
An Empirical Analysis of Organization Modularization’s Impact
– The Case of Google
by: Liu, Yuanyuan
Published: (2017)
by: Liu, Yuanyuan
Published: (2017)
Modularity in artificial neural networks
by: Amer, Mohammed Elsayed Mohammed
Published: (2021)
by: Amer, Mohammed Elsayed Mohammed
Published: (2021)
Rethinking the "mirroring" hypothesis: implications for technological modularity, tacit coordination, and radical innovation
by: Hao, Bin, et al.
Published: (2015)
by: Hao, Bin, et al.
Published: (2015)
Topics in half integral weight modular forms
by: Branch, James
Published: (2025)
by: Branch, James
Published: (2025)
A survey of the number theoretic properties of real analytic modular forms
by: Drewitt, Joshua
Published: (2021)
by: Drewitt, Joshua
Published: (2021)
A new modular multilevel converter for HVDC applications
by: Hassan, Zain
Published: (2021)
by: Hassan, Zain
Published: (2021)
Partitioning techniques and their parallelization for stiff system of ordinary differential equations
by: Othman, Khairil Iskandar
Published: (2007)
by: Othman, Khairil Iskandar
Published: (2007)
Control of a hybrid modular multilevel converter during grid voltage unbalance
by: Amankwah, Emmanuel K., et al.
Published: (2015)
by: Amankwah, Emmanuel K., et al.
Published: (2015)
Submodule power losses balancing algorithms for the modular multilevel converter
by: Picas, R., et al.
Published: (2016)
by: Picas, R., et al.
Published: (2016)
Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)
by: Hutton, Graham, et al.
Published: (2017)
Fault detection for modular multilevel converters
based on sliding mode observer
by: Shao, Shuai, et al.
Published: (2013)
by: Shao, Shuai, et al.
Published: (2013)
Robustness analysis and experimental validation of a fault detection and isolation method for the modular multilevel converter
by: Shao, Shuai, et al.
Published: (2016)
by: Shao, Shuai, et al.
Published: (2016)
A novel multi-modular series HVDC tap
by: Tang, Yunpeng, et al.
Published: (2017)
by: Tang, Yunpeng, et al.
Published: (2017)
Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)
by: Altenkirch, Thorsten, et al.
Published: (2015)
Similar Items
-
The modular compilation of effects
by: Day, Laurence E.
Published: (2017) -
Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016) -
Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016) -
Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008) -
Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)