GPCE24 Closing (GPCE 2024) - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Who

Thomas Thüm, Shigeru Chiba

Track

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

When

Tue 22 Oct 2024 17:20 - 17:30 at San Marino - Session 4 on Typing and Its Applications Chair(s): Jeff Smits

Thomas Thüm

Paderborn University

Germany

Shigeru Chiba

University of Tokyo

Japan

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

Session Program

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

	16:00 - 17:30	Session 4 on Typing and Its ApplicationsGPCE at San Marino Chair(s): Jeff Smits Delft University of Technology

	16:00 30m Talk		Separate Compilation and Partial Linking: Modules for Datalog IR GPCE David Klopp JGU Mainz, André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
	16:30 30m Talk		On the Soundness of Auto-Completion Services for Dynamically Typed Languages GPCE Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print
	17:00 20m Talk		Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) GPCE Cunyuan Gao HKUST, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
	17:20 10m Day closing		GPCE24 Closing GPCE Thomas Thüm Paderborn University, Shigeru Chiba University of Tokyo