FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
Thu 16 May 2024 09:30 - 10:30 - Invited Talk Chair(s): Oleg Kiselyov

Verse is a new functional-logic language. It has several unusual features and this talk will give a brief overview of the language and what makes it different from most other languages. Among other things, Verse has deterministic choice, and choice is very much a first class construct. The talk will also show a core calculus for Verse and how we can use rewrite rules to give a semantics for the language.

Thu 16 May

Displayed time zone: Osaka, Sapporo, Tokyo change

09:30 - 10:30
Invited TalkFLOPS 2024
Chair(s): Oleg Kiselyov Tohoku University
09:30
60m
Keynote
Verse: A New Functional Logic Language
FLOPS 2024
Lennart Augustsson Epic Games