Search

• < Previous
• 1
• Next >

---

When is a container a comonad?

Danel Ahman ; James Chapman ; Tarmo Uustalu.

Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of shapes and a set of positions in each shape. This paper builds on the observation that datatypes often carry additional&nbsp;[&hellip;]

---

Higher-Order Asynchronous Effects

Danel Ahman ; Matija Pretnar.

We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signalling that an operation's implementation needs to&nbsp;[&hellip;]

---