1:09:05

Variants of call-by-push-value

ACM SIGPLAN

29:40

Kripke open relations and operational game semantics

ACM SIGPLAN

39:52

Merging coeffect production into effect handling

ACM SIGPLAN

34:33

Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

ACM SIGPLAN

19:34

Towards Highly Symmetric Co/Effects; Systematic Separation between the Extra-and Intra-Logical

ACM SIGPLAN

27:16

Effectful Improvement Theory

ACM SIGPLAN

22:22

Alef: A bidirectional effect system for algebraic effects.

ACM SIGPLAN