45:26

[GALOP'24] On Interaction, Efficiency, and Reversibility

ACM SIGPLAN

22:17

[GALOP'24] Normal Form Bisimulations by Value

ACM SIGPLAN

22:51

[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

ACM SIGPLAN

23:43

[GALOP'24] Operational game semantics for generative algebraic effects and handlers

ACM SIGPLAN

20:34

[GALOP'24] An abstract, certified account of Operational Game Semantics

ACM SIGPLAN

21:11

[GALOP'24] Operational Algorithmic Game Semantics

ACM SIGPLAN

49:02

[GALOP'24] Compositional Development of Certified System Software

ACM SIGPLAN

18:26

[GALOP'24] SSA is Freyd Categories

ACM SIGPLAN

22:46

[GALOP'24] A Denotational Approach to Release/Acquire Concurrency

ACM SIGPLAN

22:31

[GALOP'24] Invisible pebbles and the geometry of affine higher-order tree transducers

ACM SIGPLAN

18:22

[GALOP'24] Taylor Expansion is Game Semantics

ACM SIGPLAN

25:34

[GALOP'24] Game-enriched categories

ACM SIGPLAN

24:27

[GALOP'24] Fair omega-Regular Games

ACM SIGPLAN

18:26

[GALOP'24] MELL proof-nets without boxes: thirty years later

ACM SIGPLAN