Language Design Where Paradigms Meet (PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop )

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Track

PLMW @ PLDI 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

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

Tue 17 Jun 2025 15:00 - 15:30 at Grand Ball Room 2 - Session 3

Abstract

This talk shares how ideas from object-oriented programming can help us rethink the way we write and organize machine-checked proofs—and how different paradigms can come together in surprising ways.