Encoding Product Types (OlivierFest 2025)

Sun 12 - Sat 18 October 2025 Singapore

Track

OlivierFest 2025

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Wed 15 Oct 2025 11:40 - 12:05 at Peony West - I know Kung Fu Chair(s): Youyou Cong

Abstract

Can product types be encoded in simply-typed lambda calculus with base types and function types? It depends.

DOI

https://doi.org/10.1145/3759427.3760375

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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

Wed 15 Oct
Displayed time zone: Perth change

10:50 - 12:05	I know Kung FuOlivierFest at Peony West Chair(s): Youyou Cong Institute of Science Tokyo

10:50 25m Talk		Controlling Copatterns: There and Back Againfestschrift OlivierFest Paul Downen University of Massachusetts at Lowell DOI
11:15 25m Talk		Deforestation through refunctionalization OlivierFest Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
11:40 25m Talk		Encoding Product Typesfestschrift OlivierFest Sam Lindley University of Edinburgh DOI

Encoding Product Types

festschrift

Wed 15 Oct
Displayed time zone: Perth change

Sam Lindley

University of Edinburgh

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Encoding Product Types

festschrift

Program Display Configuration

Program Display Configuration

Wed 15 OctDisplayed time zone: Perth change

Sam Lindley

University of Edinburgh

Wed 15 Oct
Displayed time zone: Perth change