Understanding Algebraic Effect Handlers via Delimited Control Operators

von Cong, Youyou
Veröffentlicht in TFP (23. : 2022 : Online) Trends in functional programming (2022)

Towards Efficient Adjustment of Effect Rows

von Furudono, Naoya
Veröffentlicht in TFP (23. : 2022 : Online) Trends in functional programming (2022)

Sound and Complete Type Inference for Closed Effect Rows

von Ikemori, Kazuki
Veröffentlicht in TFP (23. : 2022 : Online) Trends in functional programming (2022)