Skip to content

λThe Comonad.Readertypes, (co)monads, substructural logic

Home Packages RSS Contact

Appearance

Theme

LightDarkSystem

Text size

100%

Margin pattern

Text size is remembered as you browse. Motion follows your system preference unless you choose Moving. Hidden on small screens.

GitHub X LinkedIn Positron

Archive‹

Jan3 Feb2 Mar2 Apr2 May1JunJul2AugSep2OctNovDec

In 2016

January 3

January archive →

13 January

Adjoint Triples

20 January

On ReflexTalk
DimensionalTalk

February 2

February archive →

17 February

Undecidable SuperclassesTalk

28 February

Haskell Code Review!Talk

March 2

March archive →

16 March

Haskell, Startups, and Domain Specific LanguagesTalk

28 March

Composing (Music) in HaskellTalk

April 2

April archive →

20 April

Probabilistic Programming Live-codeTalk
binary-serialize-cborTalk

May 1

May archive →

18 May

First-class implementationsTalk

July 2

July archive →

23 July

Monad HomomorphismsTalk

25 July

Monad Transformer LensesTalk

September 2

September archive →

Day not recorded

Desugaring Haskell’s do-Notation into Applicative OperationsPaper

14 September

VR: Test FrameworkDemo

All years

2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2001 2000 1999 1995

Blogroll

Bartosz MilewskiProgramming Cafe
Dan Piponi (sigfpe)A Neighborhood of Infinity

ZuriHac 2016 · Talk23 July 2016

Monad Homomorphisms

Edward Kmett

Watch on YouTube

Monad Homomorphisms — ZuriHac 2016.

Materials

video

Recording details

Talk date: 2016-07-23. Uploaded: not established. presentation

Google retrospective publication 2016-09-30 is not the talk date.

The recording is hosted on YouTube. Its description, credits, and dating evidence are preserved here.

← Previous · olderFirst-class implementations Archive Next · newer →Monad Transformer Lenses