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

2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2021), January 18-19, 2021, Virtual, Denmark

Workshop PEPM 2021 – Author Index

Contents - Abstracts - Authors

A B C D G H K L O S T U

Ariola, Zena M. PEPM '21: "Strictly Capturing Non-strict ..."
Boulytchev, Dmitry PEPM '21: "Efficient Fair Conjunction ..."
Choi, Kwanghoon PEPM '21: "A Text-Based Syntax Completion ..."
Downen, Paul PEPM '21: "Strictly Capturing Non-strict ..."
Godiksen, Christian PEPM '21: "A Type-Safe Structure Editor ..."
Herrmann, Thomas PEPM '21: "A Type-Safe Structure Editor ..."
Hüttel, Hans PEPM '21: "A Type-Safe Structure Editor ..."
Kobayashi, Naoki PEPM '21: "Counterexample Generation ..."
Lauridsen, Mikkel Korup PEPM '21: "A Type-Safe Structure Editor ..."
Lozov, Peter PEPM '21: "Efficient Fair Conjunction ..."
Owliaie, Iman PEPM '21: "A Type-Safe Structure Editor ..."
Sasano, Isao PEPM '21: "A Text-Based Syntax Completion ..."
Sullivan, Zachary J. PEPM '21: "Strictly Capturing Non-strict ..."
Tanaka, Akira PEPM '21: "Coq to C Translation with ..."
Toman, John PEPM '21: "Counterexample Generation ..."
Tsukada, Takeshi PEPM '21: "Counterexample Generation ..."
Ueno, Hideto PEPM '21: "Counterexample Generation ..."

17 authors

proc time: 3.95