GPCE24 Closing (GPCE 2024) - SPLASH 2024

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

Who

Thomas Thüm, Shigeru Chiba

Track

This program is tentative and subject to change.

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 IBR West - Session 4 on Typing and Its Applications

Thomas Thüm

Paderborn University

Germany

Shigeru Chiba

University of Tokyo

Japan

This program is tentative and subject to change.

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 IBR West

	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