Supermonads: one notion to bind them all

QR Code

Supermonads: one notion to bind them all

Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions. Furth...

Full description

Bibliographic Details
Main Authors:	Bracker, Jan, Nilsson, Henrik
Format:	Conference or Workshop Item
Published:	2016
Subjects:	Functional programming Glasgow Haskell Compiler Haskell Monads Syntactic support Type checker plugin
Online Access:	https://eprints.nottingham.ac.uk/36156/

Similar Items

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

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

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

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

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

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

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

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)

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

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)

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

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

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

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

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

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

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

Unified notions of generalised monads and applicative functors
by: Bracker, Jan
Published: (2018)

Are independent fact checkers effective in combatting fake news on COVID-19? A case study of Indonesia
by: Ridhanty, Anantia
Published: (2021)

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

Investigating the age differences in good enough processing: eye-tracking evidence from young and older adults
by: Kalsi, T.K
Published: (2023)

Syntactic translation strategies for retaining parallelism in the Arabic translation of Moby Dick
by: Syed Abdullah, Syed Nurulakla, et al.
Published: (2016)

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

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

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

Predicting family caregiver psychosocial functioning in palliative care
by: Hudson, P., et al.
Published: (2006)

English proficiency and employability: Polytechnic students’ notions of what it takes to get them employed
by: Kien, Bee ooi, et al.
Published: (2012)

Funky grooves: declarative programming of full-fledged musical applications
by: Nilsson, Henrik, et al.
Published: (2016)

The arpeggigon: declarative programming of a full-fledged musical application
by: Nilsson, Henrik, et al.
Published: (2016)

All meromorphic solutions of an auxiliary ordinary differential equation and its applications
by: Yuan, W., et al.
Published: (2015)

Online peer support groups for individuals with Type 2 diabetes mellitus: an exploratory mixed-methods study
by: Muslihi, Abdulrahman
Published: (2024)

All traveling wave exact solutions of the variant Boussinesq equations
by: Yuan, W., et al.
Published: (2015)

Notts rallies them from all over Britain
by: Abd Razak, Dzulkifli
Published: (2006)

All meromorphic solutions for two forms of odd order algebraic differential equations and its applications
by: Yuan, W., et al.
Published: (2014)

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

E-learning use and relevance in vocational institutes in New Zealand
by: Wilson, Amy Dunn
Published: (2010)

The role of online support groups for parents of adolescents with type 1 diabetes during the transition to adult diabetes services
by: Shepherd, Karen Louise
Published: (2021)