FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Wed 15 May 2024 16:00 - 16:30 - Metaprogramming Chair(s): Michael Hanus

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