Edward Kmett & guests

Writing & talks

Types, programs, and the structures between them.

Explore the archive

117 articles · 58 talks · 1 paper · 2 demos · 31 streams · 224 repositories

2026

6 October 2026The Comonad Reader

Stretching the Storage Manager on the JVM

Edward Kmett

30 September 2026The Comonad Reader

Turbo Haskell

Edward Kmett

2024

2023

13 May 2023 · uploadedStream · Edward Kmett

Live Coding — Session 26

Edward Kmett

2022

21 October 2022The Comonad Reader

Internalized Guarded Recursion for Equational Reasoning

Gershom Bazerman

18 August 2022 · uploadedTalk · Functional Futures / Serokell

Across the Kmettverse

Edward Kmett

5 January 2022Talk · Boston Haskell

The current state of the Haskell Foundation

Andrew Boardman

2021

27 October 2021Talk · Boston Haskell

Programming with Tactics

Reed Mullanix

21 June 2021Talk · Bx 2021

A Taste of Linear Optics

Edward Kmett

2020

24 July 2020Talk · YOW! Lambda Jam 2020, online

Cadenza: Building Fast Functional Languages Fast

Edward Kmett

2019

20 June 2019Talk · Monadic Warsaw

Guanxi: Logic Programming in Haskell — Part 4 of 4

Edward Kmett

20 June 2019Talk · Monadic Warsaw

Guanxi: Logic Programming in Haskell — Part 3 of 4

Edward Kmett

18 June 2019Talk · Monadic Warsaw

Guanxi: Logic Programming in Haskell — Part 2 of 4

Edward Kmett

18 June 2019Talk · Monadic Warsaw

Guanxi: Logic Programming in Haskell — Part 1 of 4

Edward Kmett

3 April 2019 · uploadedStream · Edward Kmett

Live Coding — Session 25: Guanxi Review

Edward Kmett

2018

13 December 2018 · uploadedStream · Edward Kmett

Live Coding — Session 24: Dancing with Decision Diagrams

Edward Kmett

13 December 2018 · uploadedStream · Edward Kmett

Live Coding — Session 23: Dancing Links, Part 2

Edward Kmett

6 December 2018 · uploadedStream · Edward Kmett

Live Coding — Session 22: Dancing Links

Edward Kmett

5 December 2018 · uploadedStream · Edward Kmett

Live Coding — Session 21: Relational Programming, Part 6

Edward Kmett

5 December 2018 · uploadedStream · Edward Kmett

Live Coding — Session 20: Relational Programming, Part 5

Edward Kmett

19 November 2018 · uploadedStream · Edward Kmett

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

Edward Kmett

16 November 2018 · uploadedStream · Edward Kmett

Live Coding — Session 17: Relational Programming, Part 3

Edward Kmett

3 November 2018 · uploadedStream · Edward Kmett

Live Coding — Session 18: Nominal Sets

Edward Kmett

4 October 2018 · uploadedStream · Edward Kmett

Live Coding — Session 16: Relational Programming, Part 2

Edward Kmett

1 October 2018 · uploadedStream · Edward Kmett

Live Coding — Session 15: Back from ICFP

Edward Kmett

18 September 2018Talk · Lambda World

There and Back Again: Regular and Inverse Semigroups

Edward Kmett

26 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 14.3: Succinct Serialization, Part 6

Edward Kmett

26 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 14.2: Succinct Serialization, Part 6

Edward Kmett

26 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 14.1: Succinct Serialization, Part 6

Edward Kmett

25 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 13: Succinct Serialization, Part 5

Edward Kmett

25 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 12: Succinct Serialization, Part 4

Edward Kmett

20 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 11: Succinct Serialization, Part 3

Edward Kmett

13 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 10: Succinct Serialization, Part 2

Edward Kmett

5 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 9: Succinct Serialization, Part 1

Edward Kmett

2 August 2018 · uploadedStream · Edward Kmett

Live Coding — Session 7: More Machines

Edward Kmett

30 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 8: Succinct Data Structures and Dynamization

Edward Kmett

22 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 6: CEK Machines

Edward Kmett

15 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 5.2: Propagators

Edward Kmett

15 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 5.1: Propagators

Edward Kmett

8 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 4.2: Q&A

Edward Kmett

8 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 4.1: Regular and Inverse Semigroups

Edward Kmett

1 July 2018 · uploadedStream · Edward Kmett

Live Coding — Session 3: Authenticated Computation

Edward Kmett

10 June 2018Talk · ZuriHac 2018

Combinators Revisited

Edward Kmett

22 May 2018Talk · YOW! Lambda Jam 2018, Sydney

Combinators Revisited

Edward Kmett

6 May 2018 · uploadedStream · Edward Kmett

Live Coding — Session 2.2: Q&A

Edward Kmett

6 May 2018 · uploadedStream · Edward Kmett

Live Coding — Session 2.1: Q&A

Edward Kmett

29 April 2018 · uploadedStream · Edward Kmett

Live Coding — Session 1: Commutativity

Edward Kmett

16 January 2018The Comonad Reader

Computational Quadrinitarianism (Curious Correspondences go Cubical)

Gershom Bazerman

6 January 2018The Comonad Reader

The State Comonad

Edward Kmett

2017

15 November 2017Talk · Boston Haskell

A Walk-through of Computational Reflection in Coq

Gregory Malecha

18 October 2017Talk · Boston Haskell

Monoidal Parsing

Edward Kmett

20 September 2017Talk · Boston Haskell

Algebraic Databases

Ryan Wisnesky

5 September 2017 · uploadedTalk · Boston Haskell

Introduction to Cryptocurrencies in Haskell

Thomas Dietert

6 August 2017 · uploadedTalk · Boston Haskell

SMT for DSLs: a Tutorial

Cody Roux

July 2017 · day unknownTalk · Boston Haskell

Cracking Multi-Language Transformations

James Koppel

11 June 2017Talk · ZuriHac 2017

Efficiently coding for modern CPUs

Edward Kmett

2016

14 September 2016 · publishedDemo · Edward Kmett’s YouTube channel

VR: Test Framework

Edward Kmett

September 2016 · day unknownPaper · Haskell Symposium 2016

Desugaring Haskell’s do-Notation into Applicative Operations

Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov

25 July 2016 · uploadedTalk · Monadic Warsaw

Monad Transformer Lenses

Edward Kmett

23 July 2016Talk · ZuriHac 2016

Monad Homomorphisms

Edward Kmett

18 May 2016Talk · Boston Haskell

First-class implementations

François-René Rideau

20 April 2016Talk · Boston Haskell

binary-serialize-cbor

Austin Seipp

20 April 2016Talk · Boston Haskell

Probabilistic Programming Live-code

Alexey Radul

28 March 2016 · uploadedTalk · Boston Haskell

Composing (Music) in Haskell

Stuart Popejoy

16 March 2016Talk · Boston Haskell

Haskell, Startups, and Domain Specific Languages

Adam Wespiser

28 February 2016 · uploadedTalk · Boston Haskell

Haskell Code Review!

James Larisch

17 February 2016Talk · Boston Haskell

Undecidable Superclasses

Edward Kmett

20 January 2016Talk · Boston Haskell

Dimensional

Douglas McClean

20 January 2016Talk · Boston Haskell

On Reflex

Greg Hale

13 January 2016The Comonad Reader

Adjoint Triples

Dan Doel

2015

2 December 2015School of Haskell

Bound

Edward Kmett

18 November 2015Talk · Boston Haskell

Propagators

Edward Kmett

4 November 2015Talk · Boston Haskell

Servant

Julian Arni

21 October 2015Talk · Boston Haskell

csound-expression

Paul Chiusano

13 October 2015School of Haskell

Fibonacci — Part 2: Open-Ended Fibonacci Search

Edward Kmett

15 September 2015The Comonad Reader

Some Rough Notes on Univalent Foundations and B-Systems, Part I

Gershom Bazerman

27 August 2015School of Haskell

On-line Lowest Common Ancestor

Edward Kmett

27 August 2015School of Haskell

Unlifted Structures

Edward Kmett

22 July 2015The Comonad Reader

On the unsafety of interleaved I/O

Dan Doel

30 May 2015Talk · Google TechTalks

Discrimination is Wrong: Improving Productivity

Edward Kmett

28 May 2015School of Haskell

Moore for Less

Edward Kmett

26 May 2015Talk · IFIP WG2.8 · Kefalonia

Functionally Oblivious (and Succinct)

Edward Kmett

25 May 2015The Comonad Reader

Categories of Structures in Haskell

Dan Doel

20 May 2015Talk · Boston Haskell

Skete: Exploring Distributed Package Management

Alec Heller

2 May 2015School of Haskell

How to Replace Failure by a Heap of Successes

Edward Kmett

29 April 2015The Comonad Reader

Domains, Sets, Traversals and Applicatives

Dan Doel

28 April 2015School of Haskell

Fibonacci — Part 1: Leonardo Random Access Lists

Edward Kmett

15 April 2015Talk · Boston Haskell

Making Dependent Types Practical

Chris Casinghino

15 April 2015Talk · Boston Haskell

Reflex: Practical Functional Reactive Programming

Ryan Trinkle

25 March 2015Talk · Boston Haskell

Framing the Discussion with EDSLs

Anthony Cowley

21 February 2015The Comonad Reader

Free Monoids in Haskell

Dan Doel

18 February 2015Talk · Boston Haskell

Enigmatic Haskell, Haskellish Enigma

Rishiyur S. Nikhil

18 February 2015Talk · Boston Haskell

Pure Type Systems

Cody Roux

16 February 2015School of Haskell

The free theorem for fmap

Edward Kmett

21 January 2015Talk · Boston Haskell

Type Classes vs. the World

Edward Kmett

2014

30 December 2014The Comonad Reader

Fast Circular Substitution

Edward Kmett

December 2014 · day unknownTalk · Boston Haskell

Lightning talks - Dec. 2014

Darius Jahandarie, Elliot Stern, William Blair, Kenneth Foner, Tom Titchener, Edward Kmett

19 November 2014Talk · Boston Haskell

Liquid Haskell

Ranjit Jhala

16 November 2014School of Haskell

Revisiting Matrix Multiplication — Part V: Heaps of Performance

Edward Kmett

28 October 2014 · repositoryDemo · Quine

Quine: Shader Toys

Edward Kmett

17 September 2014Talk · Boston Haskell

Getting a Quick Fix of Comonads

Kenneth Foner

20 August 2014Talk · Boston Haskell

Ur/Web

Adam Chlipala

1 August 2014The Comonad Reader

Letter to a Young Haskell Enthusiast

Gershom Bazerman

16 July 2014Talk · Boston Haskell at Akamai, Cambridge

On Hask

Edward Kmett

20 April 2014The Comonad Reader

CUFP 2014 Call For Presentations

Edward Kmett

16 April 2014Talk · Boston Haskell

A Functorial Query Language

Ryan Wisnesky

16 April 2014Talk · Boston Haskell

A Quick Introduction To Haskell

Tim Braje

15 April 2014School of Haskell

Catamorphisms

Edward Kmett

2014 · day unknownTalk · YOW!2014

Stop Treading Water: Learning to Learn

Edward Kmett

2013

9 December 2013School of Haskell

PHOAS For Free

Edward Kmett

8 November 2013School of Haskell

Cache-Oblivious Data Structures — Part I: Deamortized ST

Edward Kmett

8 November 2013School of Haskell

Procrustean Mathematics

Edward Kmett

18 October 2013Talk · Bay Area Haskell User Group at Mozilla San Francisco

Cache-Oblivious Maps

Edward Kmett

22 September 2013Talk · CUFP2013

Functional Reporting

Edward Kmett

15 September 2013School of Haskell

Cellular Automata — Part III: A World in a Bottle

Edward Kmett

13 September 2013School of Haskell

Conquering Folds

Edward Kmett

11 September 2013School of Haskell

Parallel and Incremental CRCs

Edward Kmett

3 September 2013School of Haskell

Once

Edward Kmett

2 September 2013School of Haskell

Mandelbrot

Edward Kmett

1 September 2013School of Haskell

Cellular Automata — Part II: PNGs and Moore

Edward Kmett

26 August 2013 · publishedTalk · The Haskell Cast