[PEPM'22] Two-level Just-in-Time Compilation with One Interpreter and One Engine

(45:6)

[PEPM'22] On Type-Based Techniques for Program Manipulation

(56:28)

[PEPM'22] A partial history of partial evaluation

(1:1:14)

[PEPM'22] Why are partial evaluation and supercompilation still not widely used in practic

(1:5:54)

[PEPM'22] Dependent tagless final

(31:18)

[PEPM'22] Parallel Algebraic Effect Handlers

(36:2)

[PEPM'22] Partially Evaluating Symbolic Interpreters for All

(29:15)

[PEPM'22] Modal Logics and Types: Looking Back and Looking Forward

(1:2:33)

[PEPM'22] Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Depe

(28:51)

[PEPM'22] let (rec) insertion without Effects, Lights or Magic

(32:25)

[PEPM'22] From meta frameworks and transformations to distributed computing and more

(1:5:21)

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

(30:36)

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

(22:4)

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

(1:9:21)

[PEPM'24] Opening

(1:27)

Is Peter MacKay running for the Tory leadership? | 22 Minutes

(2:51)

[PEPM 2021] A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method

(1:45)

22 Minutes: Mulcair Pep Talk

(1:48)

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

(17:37)