1:27

[PEPM'24] Opening

ACM SIGPLAN

1:01:02

[PEPM'24] From Theory to Practice: Crafting Differential Privacy Systems with Haskell

ACM SIGPLAN

22:58

[PEPM'24] Productivity Verification for Functional Programs by Reduction to Termination Ve...

ACM SIGPLAN

22:04

[PEPM'24] Complete Stream Fusion for Software-Defined Radio

ACM SIGPLAN

21:38

[PEPM'24] A Case Study in Functional Conversion and Mode Inference in miniKanren

ACM SIGPLAN

26:35

[PEPM'24] Partial Evaluation of Reversible Flowchart Programs

ACM SIGPLAN

17:37

[PEPM'24] Towards a Language-parametric DSL for Refactoring (Short Paper)

ACM SIGPLAN

15:45

[PEPM'24] An Intrinsically Typed Compiler for Algebraic Effect Handlers

ACM SIGPLAN

29:02

[PEPM'24] Ownership Types for Verification of Programs with Pointer Arithmetic

ACM SIGPLAN

23:57

[PEPM'24] Scoped and Typed Staging by Evaluation

ACM SIGPLAN

12:31

[PEPM'24] One-Pass CPS Translation of Dependent Types (Talk Proposal)

ACM SIGPLAN

21:53

[PEPM'24] In memoriam Neil Deaton Jones

ACM SIGPLAN

30:36

[PEPM'24] The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Co...

ACM SIGPLAN

33:06

[PEPM'24] A Historical Perspective on Program Transformation and Recent Developments (Invi...

ACM SIGPLAN

24:20

[PEPM'24] Incremental Computation: What Is the Essence? (Invited Contribution)

ACM SIGPLAN