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 | 83 | 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 | 48 | 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 | 43* | 2018 |
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 | 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 | 38 | 2017 |
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 | 34 | 2020 |
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 | 31 | 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 | 16* | 2019 |
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 |
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 | 9 | 2022 |
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 | 5 | 2023 |
Effekt: Extensible algebraic effects in scala JI Brachthäuser, P Schuster Proceedings of 8th ACM SIGPLAN International Scala Symposium, 2017 | 5 | 2017 |
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers M Müller, P Schuster, JL Starup, K Ostermann, JI Brachthäuser Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 941-970, 2023 | 3 | 2023 |
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 |
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 | 1 | 2023 |
Compiling Lexical Effect Handlers with Capabilities, Continuations, and Evidence P Schuster Universität Tübingen, 2024 | | 2024 |
Region-based Resource Management in Continuation-Passing Style P Schuster, JI Brachthäuser, K Ostermann | | |
All About That Stack: A Unified Treatment of Regions and Control Effects P Schuster, JI Brachthäuser, K Ostermann | | |
All About That Stack P SCHUSTER, JI BRACHTHÄUSER, K OSTERMANN | | |