27:46

[HOPE'23] One Weird Trick to Untie Landin's Knot

ACM SIGPLAN

30:19

[HOPE'23] Operational game semantics for generative algebraic effects and handlers

ACM SIGPLAN

29:00

[HOPE'23] Higher-Order Weakest Precondition Transformers via a CPS Transformation

ACM SIGPLAN

35:07

[HOPE'23] Event-Driven Multiparty Session Actors

ACM SIGPLAN

34:31

[HOPE'23] Flattening Meets Effects: A Surprising Connection

ACM SIGPLAN

29:38

[HOPE'23] Continuations and Coexponentials

ACM SIGPLAN

31:50

[HOPE'23] Granite: Compositional Functional Logic Programming

ACM SIGPLAN

19:44

[HOPE'23] Semantic foundations of potential-synthesis for expected amortised-cost analysis

ACM SIGPLAN

31:30

[HOPE'23] Free Variable as Effect, in Practice

ACM SIGPLAN