A functional specification of effects

QR Code

A functional specification of effects

This dissertation is about effects and type theory. Functional programming languages such as Haskell illustrate how to encapsulate side effects using monads. Haskell compilers provide a handful of primitive effectful functions. Programmers can construct larger computations using the monadic return...

Full description

Bibliographic Details
Main Author:	Swierstra, Wouter
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2009
Subjects:	functional programming effects haskell type theory
Online Access:	https://eprints.nottingham.ac.uk/10779/

Similar Items

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

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

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

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

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

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

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

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

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

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

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

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

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)

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

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

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

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

A functional quantum programming language
by: Grattage, Jonathan James
Published: (2006)

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

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

Quotient types in type theory
by: Li, Nuo
Published: (2015)

An exact penalty function method for nonlinear mixed discrete programming problems
by: Changjun, Y., et al.
Published: (2013)

Electron localisation function in current-density-functional theory
by: Furness, James W., et al.
Published: (2016)

Modelling excited states of weakly bound complexes with density functional theory
by: Briggs, Edward A., et al.
Published: (2014)

Calculating excited state properties using Kohn-Sham density functional theory
by: Hanson-Heine, Magnus W.D., et al.
Published: (2013)

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

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

THE EFFECT OF DIFFERENT TYPES OF DIRECTORS ON CORPORATE PERFORMANCE: EVIDENCE FROM INDIAN LISTED COMPANIES.
by: Dake, Ghoshal Vishwas
Published: (2007)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Bridging the GUI gap with reactive values and relations
by: Perez, Ivan, et al.
Published: (2015)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

A functional near-infrared spectroscopy study of the effects of configural properties on sustained attention
by: de Joux, Neil, et al.
Published: (2017)

Cognitive Functional Therapy for persistent low back pain: A mixed methods feasibility study.
by: Newton, Christopher
Published: (2021)

The effect of quorum sensing molecules on vascular function
by: Alassaf, Fawaz A.
Published: (2018)

Value distribution of meromorphic functions and their derivatives
by: Nicks, Daniel A.
Published: (2010)

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

Model Looks, Motives, and Affective Outcomes
by: Dickinson-Delaporte, Sonia, et al.
Published: (2014)