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

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

Track

ICFP 2026 ICFP Tutorials

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.

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

Display full programSpecify a time band

Save

Session Program

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30	Hacking Choreographic Programming in Haskell (Part 1)ICFP Tutorials at HO223 Indiana Room

14:00 90m Talk		Hacking Choreographic Programming in Haskell ICFP Tutorials Gan Shen University of California at Santa Cruz

16:00 - 17:30	Hacking Choreographic Programming in Haskell (Part 2)ICFP Tutorials at HO223 Indiana Room

16:00 90m Talk		Hacking Choreographic Programming in Haskell ICFP Tutorials Gan Shen University of California at Santa Cruz

Hacking Choreographic Programming in Haskell

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

Gan Shen

University of California at Santa Cruz

Tracks

Workshops

Co-hosted Symposia

Hacking Choreographic Programming in Haskell

Program Display Configuration

Program Display Configuration

Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change

Gan Shen

University of California at Santa Cruz

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change