Unified notions of generalised monads and applicative functors

QR Code

Unified notions of generalised monads and applicative functors

Monads and applicative functors are staple design patterns to handle effects in pure functional programming, especially in Haskell with its built-in syntactic support. Over the last decade, however, practical needs and theoretical research have given rise to generalisations of monads and applicative...

Full description

Bibliographic Details
Main Author:	Bracker, Jan
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2018
Online Access:	https://eprints.nottingham.ac.uk/55211/

Similar Items

Generalised Kawada-Satake method for Mackey functors in class field theory
by: Fesenko, Ivan, et al.
Published: (2018)

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

Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)

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

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

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

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)

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

Dichromatic state sum models for four-manifolds from pivotal functors
by: Bärenz, Manuel, et al.
Published: (2018)

On the computation of some homological functors of 2-engel groups of order at most 16
by: Hazzirah Izzati Mat Hassim,, et al.
Published: (2011)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2016)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

Generalised lambert function and its applications
by: Chew, Chun Yong
Published: (2024)

Evaluating risk in precious metal prices with generalised lambda, generalised pareto and generalised extreme value distributions
by: Chinhamu, K., et al.
Published: (2017)

The Notion Of Instrument In Malay Language.
by: Bali, Ranaivo-Malançon
Published: (2007)

The notion of meaning and salvation in religious studies
by: Davies, Douglas James
Published: (1979)

The notion of history in the Quran and human destiny
by: Kazmi, Yedullah
Published: (1998)

Generalised Taylor and Generalised Calvo Price and Wage Setting: Micro-evidence with Macro Implications
by: Dixon, H., et al.
Published: (2012)

Application of generalised regression neural networks in trip distribution modelling
by: Rasouli, M., et al.
Published: (2014)

Generalised fleet maintenance modelling
by: Reyes Campaña, Héctor Rodrigo
Published: (2019)

The notion of sunna: an eclectic reading in the ibadhi legacy
by: Ahmed al-Kindi, Ahmed Yahya, et al.
Published: (2018)

Notions of Maritime Green Supply Chain Management
by: Fairuz, Jasmi, et al.
Published: (2018)

Notions of home for diasporic Muslim women writers
by: Abdul Manaf, Nor Faridah, et al.
Published: (2009)

The Notion of Self-Access Language Learning in Malaysia
by: Andrew, Yau-hau Tse
Published: (2013)

Notions of generalized s-convex functions on fractal sets
by: Kilicman, Adem, et al.
Published: (2015)

Discerning the unique in the universal: The notion of organisation identity
by: van Tonder, Christian Louis
Published: (2011)

Challenging the notion of a consumer: time for change
by: Freilich, A., et al.
Published: (2011)

A review on the notions of food heritage conservation
by: Kamaruzaman, Mohd Yusof, et al.
Published: (2022)

An Ordered Generalised Extreme Value Model with Application to Alcohol Consumption in Australia
by: Harris, Mark, et al.
Published: (2006)

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

IHL and the challenges of civilian involvement in armed conflict: examining the crux of the notion of direct participation in hostilities
by: Haruna, Abdulrashid Lawan, et al.
Published: (2014)

IHL and the challenges of civilian involvement in armed conflict: examining the crux of the notion of direct participation in hostilities
by: Lawan Haruna, Abdulrashid, et al.
Published: (2014)

Generalised relative defects of meromorphic function
by: Indrajit Lahiri ,, et al.
Published: (1996)

Generalisation of close-to-convex of complex order
by: Khalida Inayat Noor,, et al.
Published: (2010)

Generalisation of scattering theory to charged particles
by: Kadyrov, Alisher, et al.
Published: (2009)

Generalisation of n-centraliser rings and their graphs
by: Chan, Tai Chong
Published: (2024)

The notion of place, place meaning and identity in urban regeneration
by: Ujang, Norsidah, et al.
Published: (2015)

The notion of Mahdiyyah as conceived by Sheikh ʿUsmān Dan Fodio
by: Adam, Abba Idris, et al.
Published: (2017)

Managing Chinese employees: dialogues from the notion of self
by: Cheung, Lai Wan
Published: (2011)