Hacking Choreographic Programming in Haskell (ICFP 2026 - ICFP Tutorials)

Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States

Track

ICFP 2026 ICFP Tutorials

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 24 Aug 2026 14:00 - 15:30 at HO223 Indiana Room - Hacking Choreographic Programming in Haskell (Part 1)
Mon 24 Aug 2026 16:00 - 17:30 at HO223 Indiana Room - Hacking Choreographic Programming in Haskell (Part 2)

Abstract

Choreographic Programming (CP) is a global programming technique for building distributed systems. This tutorial demonstrates how to build an embedded domain-specific language for CP in Haskell from the ground up, following the design principles of HasChor and related languages.