32:02

[PPDP23] A Calculus of Delayed Reductions

ACM SIGPLAN

24:11

[PPDP23] Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operat...

ACM SIGPLAN

34:47

[PPDP23] Comprehending queries over finite maps

ACM SIGPLAN

54:01

[PPDP23] 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?

ACM SIGPLAN

28:00

[PPDP23] Type-directed Program Transformation for Constant-Time Enforcement

ACM SIGPLAN

33:16

[PPDP23] Data-Dependent Confidentiality in DCR Graphs

ACM SIGPLAN

31:47

[PPDP23] Multicompatibility for Multiparty-Session Composition

ACM SIGPLAN

31:19

[PPDP23] Termination in Concurrency, Revisited

ACM SIGPLAN

21:25

[PPDP23] Polymorphic Typestate for Session Types

ACM SIGPLAN

35:12

[PPDP23] Strongly-Typed Multi-View Stack-Based Computations

ACM SIGPLAN

28:46

[PPDP23] Closure Conversion in Little Pieces

ACM SIGPLAN

33:41

[PPDP23] Additive Cellular Automata Graded-Monadically

ACM SIGPLAN

26:34

[PPDP23] Intuitionistic Metric Temporal Logic

ACM SIGPLAN

32:43

[PPDP23] stablekanren: Integrating Stable Model Semantics with miniKanren

ACM SIGPLAN