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‹

JanFebMarApr1MayJun4JulAugSepOctNovDec

In 2019

April 1

April archive →

3 April

Live Coding — Session 25: Guanxi ReviewStream

June 4

June archive →

18 June

Guanxi: Logic Programming in Haskell — Part 1 of 4Talk
Guanxi: Logic Programming in Haskell — Part 2 of 4Talk

20 June

Guanxi: Logic Programming in Haskell — Part 3 of 4Talk
Guanxi: Logic Programming in Haskell — Part 4 of 4Talk

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

Monadic Warsaw · Talk20 June 2019

Guanxi: Logic Programming in Haskell — Part 4 of 4

Edward Kmett

Watch on YouTube · 52 minutes

Part 1 · Part 2 · Part 3 · Part 4

Monadic Party 2019 - https://monadic.party

Materials

video
related workshop subject source repository

Recording details

Talk date: 2019-06-20. Uploaded: 2019-07-06. presentation (scheduled session; recording confirms event and part)

Exact scheduled day and local start are preserved in the organizer source. No independent timestamp inside recording was checked; recordings correspond by event and sequence. Parts3/4 omit Guanxi in video title although program uses it throughout. Monadic Warsaw is the publisher/organizer, not the host city. No separate slides found.

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

← Previous · olderGuanxi: Logic Programming in Haskell — Part 3 of 4 Archive Next · newer →Cadenza: Building Fast Functional Languages Fast