| Effects as capabilities: effect handlers and lightweight effect polymorphism JI Brachthäuser Proceedings of the ACM on Programming Languages, 2020 | 79 | 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 | 50 | 2020 |
| Effect handlers for the masses JI Brachthäuser, P Schuster, K Ostermann Proceedings of the Conference on Object-Oriented Programming, Systems …, 2018 | 42* | 2018 |
| Effect Handlers, Evidently N Xie, J Brachthäuser, P Schuster, D Hillerström, D Leijen 25th ACM SIGPLAN International Conference on Functional Programming (ICFP …, 0 | 41* | |
| 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 ACM SIGPLAN International Conference on Functional Programming 4, 28, 2020 | 35 | 2020 |
| From object algebras to attribute grammars T Rendel, JI Brachthäuser, K Ostermann ACM SIGPLAN Notices 49 (10), 377-395, 2014 | 34 | 2014 |
| 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 | 28 | 2022 |
| Safer exceptions for Scala M Odersky, A Boruch-Gruszecki, JI Brachthäuser, E Lee, O Lhoták Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 1-11, 2021 | 21 | 2021 |
| Type-level programming with match types O Blanvillain, J Brachthäuser, M Kjaer, M Odersky Proc. ACM Program. Lang. 6 (POPL), 24, 2021 | 19 | 2021 |
| 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 |
| Capturing types A Boruch-Gruszecki, M Odersky, E Lee, O Lhoták, J Brachthäuser ACM Transactions on Programming Languages and Systems 45 (4), 1-52, 2023 | 14 | 2023 |
| Tracking captured variables in types A Boruch-Gruszecki, JI Brachthäuser, E Lee, O Lhoták, M Odersky arXiv preprint arXiv:2105.11896, 2021 | 12 | 2021 |
| Scoped capabilities for polymorphic effects M Odersky, A Boruch-Gruszecki, E Lee, J Brachthäuser, O Lhoták arXiv preprint arXiv:2207.03402, 2022 | 11 | 2022 |
| Parsing with first-class derivatives JI Brachthäuser, T Rendel, K Ostermann Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 10 | 2016 |
| Multi-stage programming with generative and analytical macros N Stucki, JI Brachthäuser, M Odersky Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021 | 9* | 2021 |
| Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping) JI Brachthäuser, D Leijen Microsoft Technical Reports, 2019 | 9* | 2019 |
| Algebraic effect handlers go mainstream (dagstuhl seminar 18172) SK Chandrasekaran, D Leijen, M Pretnar, T Schrijvers Dagstuhl reports 8 (4), 2018 | 9 | 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 | 8 | 2022 |
| Getting into the flow: Towards better type error messages for constraint-based type inference I Bhanuka, L Parreaux, D Binder, JI Brachthäuser Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 431-459, 2023 | 5 | 2023 |
Philipp SchusterUniversity of TübingenVerified email at uni-tuebingen.de
