Abstract is missing.
- Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream?Ruslan Shevchenko. 1-17 [doi]
- Towards a Language for Defining Reusable Programming Language Components - (Project Paper)Cas van der Rest, Casper Bach Poulsen. 18-38 [doi]
- Deep Embedding with ClassMart Lubbers. 39-58 [doi]
- Understanding Algebraic Effect Handlers via Delimited Control OperatorsYouyou Cong, Kenichi Asai. 59-79 [doi]
- Reducing the Power Consumption of IoT with Task-Oriented ProgrammingSjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman. 80-99 [doi]
- Semantic Equivalence of Task-Oriented Programs in TopHatTosca Klijnsma, Tim Steenvoorden. 100-125 [doi]
- Algorithm Design with the Selection MonadJohannes Hartmann, Jeremy Gibbons. 126-143 [doi]
- Sound and Complete Type Inference for Closed Effect RowsKazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen. 144-168 [doi]
- Towards Efficient Adjustment of Effect RowsNaoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen. 169-191 [doi]