ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

This program is tentative and subject to change.

Mon 2 Sep 2024 16:00 - 16:30 at Orange 1 - Session 3

Arrows are a useful abstraction for representing static computation graphs, but their interface is difficult to use. Arrow notation helps manage this complexity at the cost of requiring users to learn new syntax. We propose a simple interface for arrows built around a type for representing nodes in the computation graph, and a monad for representing programs that build such graphs. The node type is an applicative functor with one adjustment: it’s map function is an operation of the monad rather than an ordinary function.

This program is tentative and subject to change.

Mon 2 Sep

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

16:00 - 17:30
Session 3HOPE at Orange 1
16:00
30m
Talk
Arrows as applicatives in a monad
HOPE
Leo White Jane Street
16:30
30m
Talk
Mechanized monadic equational reasoning for ML references
HOPE
Reynald Affeldt AIST, Jacques Garrigue Nagoya University, Takafumi Saikawa Nagoya University
File Attached
17:00
30m
Talk
Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
HOPE
Cyrus Omar University of Michigan, Anil Madhavapeddy University of Cambridge, UK