The modular compilation of effects

QR Code

The modular compilation of effects

The introduction of new features to a programming language often requires that its compiler goes to the effort of ensuring they are introduced in a manner that does not interfere with the existing code base. Engineers frequently find themselves changing code that has already been designed, implement...

Full description

Bibliographic Details
Main Author:	Day, Laurence E.
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2017
Subjects:	compilation functional programming haskell computer science monads catamorphisms language construction
Online Access:	https://eprints.nottingham.ac.uk/43557/

Similar Items

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Efficient implementations of expressive modelling languages
by: Chupin, Guerric
Published: (2022)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

Partitioning techniques and their parallelization for stiff system of ordinary differential equations
by: Othman, Khairil Iskandar
Published: (2007)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

A correspondence of modular forms and applications to values of L-series
by: Diamantis, Nikolaos, et al.
Published: (2015)

Documents as functions
by: Lumley, John William
Published: (2012)

Use of an Attribute Grammar for Software Process Measurement
by: Atan, Rodziah
Published: (2005)

Compilation of Malay criminological terms from online news
by: Lee, Joanna Chiew Ling *, et al.
Published: (2019)

Developing a complexity metric for inner classes
by: Sim, Hui Tee, et al.
Published: (2010)

Test Case Generator for Visual Programming Language
by: Jaafar, Mohd Farid
Published: (2007)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Grammar-based prosody modification for explicit control Malay language storytelling speech synthesis / Muhammad Izzad Ramli
by: Ramli, Muhammad Izzad
Published: (2018)

An interactive OOP learning environment for teaching and learning with Java / Wan Saiful ‘Azzam Wan Ismai,Maznie Manaf and Marina Ahmad
by: Wan Ismail, Wan Saiful ‘Azzam, et al.
Published: (2018)

Static Analyser for Java-Based Object-Oriented Software Metrics
by: Abu Al-Ese, Hasan Mugbil Khalaf
Published: (1999)

Mobile game as a learning aid for C++ control structure / Nur Afiqah Nabilah Noor Aris
by: Noor Aris, Nur Afiqah Nabilah
Published: (2017)

A Malay Language-Based Visual Programming Environment for Personal Digital Assistant
by: Anuar, Sazly
Published: (2007)

A Malay language-based visual programming language for personal digital assistant
by: Sulaiman, Md. Nasir, et al.
Published: (2008)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Parallel computing via message passing: comparison between Microsoft MPI and Klyng framework / Nik Nasrul Faiz Nik Yahaya
by: Nik Yahaya, Nik Nasrul Faiz
Published: (2017)

Use and abuse of some SAS/STAT procedures in agricultural experiments
by: A. Halim, Ridzwan, et al.
Published: (1988)

The acceptance of eTPP reporting system by using TAM Model / Mohd Hafizan Musa [et al.]
by: Musa, Mohd Hafizan, et al.
Published: (2018)