Structured Handling of Scoped Effects

von Yang, Zhixuan
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Modular Relaxed Dependencies in Weak Memory Concurrency

von Paviotti, Marco
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)