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‹

Jan2FebMarApr1 May3 Jun1 Jul7 Aug9 Sep1 Oct2 Nov3 Dec5

In 2018

January 2

January archive →

6 January

The State Comonad

16 January

Computational Quadrinitarianism (Curious Correspondences go Cubical)

April 1

April archive →

29 April

Live Coding — Session 1: CommutativityStream

May 3

May archive →

6 May

Live Coding — Session 2.1: Q&AStream
Live Coding — Session 2.2: Q&AStream

22 May

Combinators RevisitedTalk

June 1

June archive →

10 June

Combinators RevisitedTalk

July 7

July archive →

1 July

Live Coding — Session 3: Authenticated ComputationStream

8 July

Live Coding — Session 4.1: Regular and Inverse SemigroupsStream
Live Coding — Session 4.2: Q&AStream

15 July

Live Coding — Session 5.1: PropagatorsStream
Live Coding — Session 5.2: PropagatorsStream

22 July

Live Coding — Session 6: CEK MachinesStream

30 July

Live Coding — Session 8: Succinct Data Structures and DynamizationStream

August 9

August archive →

2 August

Live Coding — Session 7: More MachinesStream

5 August

Live Coding — Session 9: Succinct Serialization, Part 1Stream

13 August

Live Coding — Session 10: Succinct Serialization, Part 2Stream

20 August

Live Coding — Session 11: Succinct Serialization, Part 3Stream

25 August

Live Coding — Session 12: Succinct Serialization, Part 4Stream
Live Coding — Session 13: Succinct Serialization, Part 5Stream

26 August

Live Coding — Session 14.1: Succinct Serialization, Part 6Stream
Live Coding — Session 14.2: Succinct Serialization, Part 6Stream
Live Coding — Session 14.3: Succinct Serialization, Part 6Stream

September 1

September archive →

18 September

There and Back Again: Regular and Inverse SemigroupsTalk

October 2

October archive →

1 October

Live Coding — Session 15: Back from ICFPStream

4 October

Live Coding — Session 16: Relational Programming, Part 2Stream

November 3

November archive →

3 November

Live Coding — Session 18: Nominal SetsStream

16 November

Live Coding — Session 17: Relational Programming, Part 3Stream

19 November

Live Coding — Session 19: Relational Programming, Part 4 (Soul of a New Machine)Stream

December 5

December archive →

5 December

Live Coding — Session 20: Relational Programming, Part 5Stream
Live Coding — Session 21: Relational Programming, Part 6Stream

6 December

Live Coding — Session 22: Dancing LinksStream

13 December

Live Coding — Session 23: Dancing Links, Part 2Stream
Live Coding — Session 24: Dancing with Decision DiagramsStream

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 2018 · Talk10 June 2018

Combinators Revisited

Edward Kmett

Watch on YouTube

Combinators Revisited — ZuriHac 2018.

Materials

video

Recording details

Talk date: 2018-06-10. Uploaded: not established. presentation

Google publication 2018-08-17 is not presentation date; recording differs from YOW.

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

← Previous · olderCombinators Revisited Archive Next · newer →Live Coding — Session 3: Authenticated Computation