An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming (FLOPS 2024) - FLOPS 2024

Wed 15 - Fri 17 May 2024 Kumamoto, Japan

Who

Takashi Suwa, Atsushi Igarashi

Track

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 15 May 2024 16:30 - 17:00 - Metaprogramming Chair(s): Michael Hanus

Takashi Suwa

Graduate School of Informatics, Kyoto University, and National Institute of Informatics

Japan

Atsushi Igarashi

Kyoto University

Japan

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Wed 15 May
Displayed time zone: Osaka, Sapporo, Tokyo change

	16:00 - 17:30	MetaprogrammingFLOPS 2024 Chair(s): Michael Hanus Kiel University

	16:00 30m Talk		MetaOCaml: Ten Years Later (System Description) FLOPS 2024 Oleg Kiselyov Tohoku University
	16:30 30m Talk		An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming FLOPS 2024 Takashi Suwa Graduate School of Informatics, Kyoto University, and National Institute of Informatics, Atsushi Igarashi Kyoto University
	17:00 30m Talk		[System Description] Rhyme: A Data-Centric Multi-Paradigm Query Language based on Functional Logic Metaprogramming FLOPS 2024 Supun Abeysinghe Purdue University, Tiark Rompf Purdue University