POPL 2024 Co-Located Events
POPL 2024 Co-Located Events
Powered by
Conference Publishing Consulting

2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), January 16, 2024, London, UK

Workshop PEPM 2024 – Author Index

Contents - Abstracts - Authors

A B C D E F G H K L M N P S T V

Allais, Guillaume PEPM '24: "Scoped and Typed Staging by ..."
Berezun, Daniil PEPM '24: "A Case Study in Functional ..."
Bjørner, Dines PEPM '24: "The 0'th PEPM Event: October ..."
Cong, Youyou PEPM '24: "An Intrinsically Typed Compiler ..."
De Angelis, Emanuele PEPM '24: "A Historical Perspective on ..."
Engel, Igor PEPM '24: "A Case Study in Functional ..."
Fioravanti, Fabio PEPM '24: "A Historical Perspective on ..."
Fukaishi, Ren PEPM '24: "Productivity Verification ..."
Glück, Robert PEPM '24: "Partial Evaluation of Reversible ..."
Henglein, Fritz PEPM '24: "In memoriam Neil Deaton Jones ..."
Kiselyov, Oleg PEPM '24: "Complete Stream Fusion for ..."
Kobayashi, Naoki PEPM '24: "Ownership Types for Verification ..." PEPM '24: "Productivity Verification ..."
Kobayashi, Tomoaki PEPM '24: "Complete Stream Fusion for ..."
Liu, Yanhong A. PEPM '24: "Incremental Computation: What ..."
Masuhara, Hidehiko PEPM '24: "An Intrinsically Typed Compiler ..."
Normann, Louis Marott PEPM '24: "Partial Evaluation of Reversible ..."
Pettorossi, Alberto PEPM '24: "A Historical Perspective on ..."
Proietti, Maurizio PEPM '24: "A Historical Perspective on ..."
Sakayori, Ken PEPM '24: "Ownership Types for Verification ..."
Sato, Ryosuke PEPM '24: "Productivity Verification ..."
Sestoft, Peter PEPM '24: "The Genesis of Mix: Early ..."
Søndergaard, Harald PEPM '24: "The Genesis of Mix: Early ..."
Tanaka, Izumi PEPM '24: "Ownership Types for Verification ..."
Tsuyama, Syouki PEPM '24: "An Intrinsically Typed Compiler ..."
Verbitskaia, Ekaterina PEPM '24: "A Case Study in Functional ..."

25 authors

proc time: 6.04