Polymonad programming in Haskell

QR Code

Polymonad programming in Haskell

Polymonads were recently introduced by Hicks et al. as a unified approach to programming with different notions of monads. Their work was mainly focussed on foundational aspects of the approach. In this article, we show how to incorporate the notion of polymonads into Haskell, which is the first tim...

Full description

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

Similar Items

Supermonads: one notion to bind them all
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)

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

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 safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

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

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

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

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)

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

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)

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

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

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

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

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

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

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

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

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

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

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

The functional dendritic cell algorithm: a formal specification with Haskell
by: Greensmith, Julie, et al.
Published: (2017)

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

Honouring Dennis Haskell: a poet, and an amigo of Asiatic and Asian literature
by: Quayum, Mohammad Abdul
Published: (2019)

Effectiveness and experiences of families participating in peer led parenting support programs delivered as home visiting programs and the meaning they attribute to these support programs: a systematic review protocol
by: Munns, Ailsa, et al.
Published: (2014)

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)

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

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)

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

UNDERSTANDING SELF-GIFT CONSUMER BEHAVIOUR IN INDIA
by: Arora, Gautam
Published: (2007)

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

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