[PEPM'24] Opening

(1:27)

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

(22:4)

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

(29:2)

[PEPM'24] In memoriam Neil Deaton Jones

(21:53)

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

(30:36)

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

(22:58)

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

(12:31)

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

(17:37)

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

(21:38)

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

(1:1:2)

Understanding a PEPM

(6:13)

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

(33:6)

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

(15:45)

[PEPM'24] Scoped and Typed Staging by Evaluation

(23:57)

[PEPM'24] Partial Evaluation of Reversible Flowchart Programs

(26:35)

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

(24:20)

POPL'2023 Live Streams-PEPM: 3 talks-24

(1:52:51)

[PEPM'23] Symbolic Execution of Hadamard-Toffoli Quantum Circuits

(29:54)

[PEPM 2021] Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers

(1:9:21)