FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Thu 16 May 2024 11:30 - 12:00 - Algebra Chair(s): Lennart Augustsson

Thu 16 May

Displayed time zone: Osaka, Sapporo, Tokyo change

11:00 - 12:00
AlgebraFLOPS 2024
Chair(s): Lennart Augustsson Epic Games
11:00
30m
Talk
Tabulation with Zippers
FLOPS 2024
Marcos Viera University of the Republic, Uruguay, Alberto Pardo Universidad de la Republica, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho
11:30
30m
Talk
Declarative Pearl: Rigged Contracts
FLOPS 2024
Alexander Vandenbroucke Standard Chartered, Tom Schrijvers KU Leuven