Workshop PEPM 2026 – Author Index

G H I J K M R S T W Y

	Guan, Zhichao	PEPM '26: "Inferring Typing Rules for ..." Inferring Typing Rules for Contextual Sugars Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu (Peking University, China) Article Search Article: poplws26pepmmain-p14-p
	Hu, Zhenjiang	PEPM '26: "Inferring Typing Rules for ..." Inferring Typing Rules for Contextual Sugars Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu (Peking University, China) Article Search Article: poplws26pepmmain-p14-p
	Hüttel, Hans	PEPM '26: "Computation-Tree Semantics: ..." Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations Sean Kristian Remond Harbo and Hans Hüttel (Aalborg University, Denmark) Article Search Article: poplws26pepmmain-p2-p
	Ionescu, Alex	PEPM '26: "Towards Lightweight and Efficient ..." Towards Lightweight and Efficient Choreographic Cloud Services Alex Ionescu and Alejandro Russo (Chalmers University of Technology and University of Gothenburg, Sweden) Article Search Article: poplws26pepmmain-p13-p
	Jeuring, Johan	PEPM '26: "Hole Refinements for Polymorphic ..." Hole Refinements for Polymorphic Type-and-Example Driven Synthesis Niek Mulleners, Johan Jeuring, and Wouter Swierstra (Utrecht University, Netherlands) Article Search Article: poplws26pepmmain-p6-p
	Kristian Remond Harbo, Sean	PEPM '26: "Computation-Tree Semantics: ..." Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations Sean Kristian Remond Harbo and Hans Hüttel (Aalborg University, Denmark) Article Search Article: poplws26pepmmain-p2-p
	Mulleners, Niek	PEPM '26: "Hole Refinements for Polymorphic ..." Hole Refinements for Polymorphic Type-and-Example Driven Synthesis Niek Mulleners, Johan Jeuring, and Wouter Swierstra (Utrecht University, Netherlands) Article Search Article: poplws26pepmmain-p6-p
	Russo, Alejandro	PEPM '26: "Towards Lightweight and Efficient ..." Towards Lightweight and Efficient Choreographic Cloud Services Alex Ionescu and Alejandro Russo (Chalmers University of Technology and University of Gothenburg, Sweden) Article Search Article: poplws26pepmmain-p13-p
	Schrijvers, Tom	PEPM '26: "Staging Effect Handlers for ..." Staging Effect Handlers for Modular Search Alexandru Trifanov and Tom Schrijvers (Unaffiliated, Romania; KU Leuven, Belgium) Article Search Article: poplws26pepmmain-p10-p
	Swierstra, Wouter	PEPM '26: "Hole Refinements for Polymorphic ..." Hole Refinements for Polymorphic Type-and-Example Driven Synthesis Niek Mulleners, Johan Jeuring, and Wouter Swierstra (Utrecht University, Netherlands) Article Search Article: poplws26pepmmain-p6-p
	Trifanov, Alexandru	PEPM '26: "Staging Effect Handlers for ..." Staging Effect Handlers for Modular Search Alexandru Trifanov and Tom Schrijvers (Unaffiliated, Romania; KU Leuven, Belgium) Article Search Article: poplws26pepmmain-p10-p
	Wang, Di	PEPM '26: "Inferring Typing Rules for ..." Inferring Typing Rules for Contextual Sugars Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu (Peking University, China) Article Search Article: poplws26pepmmain-p14-p
	Yu, Tailai	PEPM '26: "Inferring Typing Rules for ..." Inferring Typing Rules for Contextual Sugars Tailai Yu, Zhichao Guan, Di Wang, and Zhenjiang Hu (Peking University, China) Article Search Article: poplws26pepmmain-p14-p

13 authors

proc time: 2.15