1:00:45 [PEPM 2021] A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method PEPM
1:04:50 [PEPM 2021] Control Flow Obfuscation for Featherweight Java + Efficient Fair Conjunction PEPM
1:09:21 [PEPM 2021] Latent Effects and Handlers + Automatic Differentiation via Effects and Handlers PEPM
59:45 [PEPM 2021] A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures PEPM
