Effects as capabilities: effect handlers and lightweight effect polymorphism JI Brachthäuser, P Schuster, K Ostermann Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 53 | 2020 |
Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala JI Brachthäuser, P Schuster, K Ostermann Journal of Functional Programming 30, e8, 2020 | 42 | 2020 |
Effekt: Extensible algebraic effects in Scala (short paper) JI Brachthäuser, P Schuster Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 67-72, 2017 | 41 | 2017 |
Effect handlers, evidently N Xie, JI Brachthäuser, D Hillerström, P Schuster, D Leijen Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 34 | 2020 |
Effect handlers for the masses JI Brachthäuser, P Schuster, K Ostermann Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 31 | 2018 |
Compiling effect handlers in capability-passing style P Schuster, JI Brachthäuser, K Ostermann Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020 | 28 | 2020 |
Typing, representing, and abstracting control: functional pearl P Schuster, JI Brachthäuser Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018 | 15 | 2018 |
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back JI Brachthäuser, P Schuster, E Lee, A Boruch-Gruszecki Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022 | 14 | 2022 |
Incremental-Calculus in Cache-Transfer Style: Static Memoization by Program Transformation PG Giarrusso, Y Régis-Gianas, P Schuster European Symposium on Programming, 553-580, 2019 | 11* | 2019 |
Algebraic effects for the masses JI Brachthäuser, P Schuster, K Ostermann Proc. ACM on Programming Languages 2, 2018 | 6 | 2018 |
Effekt: Lightweight effect polymorphism for handlers JI Brachthäuser, P Schuster, K Ostermann Technical Report. University of Tübingen, Germany, 2020 | 5 | 2020 |
A typed continuation-passing translation for lexical effect handlers P Schuster, JI Brachthäuser, M Müller, K Ostermann Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 4 | 2022 |
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style P Schuster, JI Brachthäuser, K Ostermann European Symposium on Programming, 492-519, 2022 | 3 | 2022 |
Zero-cost Effect Handlers by Staging P Schuster, JI Brachthäuser, K Ostermann submission, 2020 | 2 | 2020 |
With or Without You: Programming with Effect Exclusion M Lutze, M Madsen, P Schuster, JI Brachthäuser Proceedings of the ACM on Programming Languages 7 (ICFP), 448-475, 2023 | | 2023 |
Back to Direct Style: Typed and Tight M Müller, P Schuster, JI Brachthäuser, K Ostermann Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 848-875, 2023 | | 2023 |
Effekt: Extensible algebraic effects in scala JI Brachthäuser, P Schuster Proceedings of 8th ACM SIGPLAN International Scala Symposium, 2017 | | 2017 |
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers M Müller, P Schuster, JL Starup, K Ostermann, JI Brachthäuser | | |
Typed Continuation-Passing for Lexical Handlers P Schuster, JI Brachthäuser, M Müller, K Ostermann | | |
Region-based Resource Management in Continuation-Passing Style P Schuster, JI Brachthäuser, K Ostermann | | |