Towards Tagless Interpretation of Stratified System F (Extended Abstract) (TyDe 2023) - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Who

Peter Thiemann, Marius Weidner

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

Mon 4 Sep 2023 16:22 - 16:45 at St Helens - TyDe: Type-Driven Runtimes Chair(s): Ningning Xie

Abstract

We explore the design of an intrinsically typed, tagless interpreter for stratified System F in Agda.

File attachments

(main-tyde23.pdf)	422KiB

Peter Thiemann

University of Freiburg, Germany

Marius Weidner

University of Freiburg

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

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

	16:00 - 17:30	TyDe: Type-Driven RuntimesTyDe at St Helens Chair(s): Ningning Xie University of Toronto / Google DeepMind

	16:00 22m Talk		Semantic Encapsulation using Linking Types TyDe Daniel Patterson Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University, USA DOI
	16:22 22m Talk		Towards Tagless Interpretation of Stratified System F (Extended Abstract) TyDe Peter Thiemann University of Freiburg, Germany, Marius Weidner University of Freiburg File Attached
	16:45 22m Talk		Types as First-Class Values in Fuzion (Extended Abstract) TyDe Fridtjof Siebert Tokiwa Software GmbH File Attached
	17:07 22m Talk		Pipit: Reactive Systems in F★ (Extended Abstract) TyDe Amos Robinson Australian National University, Australia, Alex Potanin Australian National University File Attached