ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 14:45 - 15:30 at Meeting 6 - FUNARCH Talks #2 Chair(s): Michael Sperber

Surveys and experiments in economics involve stateful interactions: participants receive different messages based on earlier answers,choices, and performance, or trade across many rounds with other participants. In the design of Congame, a platform for running such economic studies, we decided to use delimited continuations to manage the common flow of participants through a study. Here we report on the positives of this approach, as well as some challenges of using continuations, such as persisting data across requests, working with dynamic variables, avoiding memory leaks, and the difficulty of debugging continuations.

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
FUNARCH Talks #2FUNARCH at Meeting 6
Chair(s): Michael Sperber Active Group GmbH
14:00
45m
Experience report
Applying Continuous Formal Methods to Cardano
FUNARCH
14:45
45m
Experience report
Continuations: what have they ever done for us?
FUNARCH
Marc Kaufman Central European University, Bogdan Popa