Follow
Philipp Schuster
Philipp Schuster
Verified email at uni-tuebingen.de
Title
Cited by
Cited by
Year
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
652020
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
442020
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
382020
Effect handlers for the masses
JI Brachthäuser, P Schuster, K Ostermann
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
38*2018
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
362017
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
312020
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
222022
Typing, representing, and abstracting control: functional pearl
P Schuster, JI Brachthäuser
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018
152018
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
13*2019
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
62022
Effekt: Extensible algebraic effects in scala
JI Brachthäuser, P Schuster
Proceedings of 8th ACM SIGPLAN International Scala Symposium, 2017
52017
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
32023
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
32022
Zero-cost Effect Handlers by Staging
P Schuster, JI Brachthäuser, K Ostermann
submission, 2020
22020
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
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
Compiling Lexical Effect Handlers with Capabilities, Continuations, and Evidence
P Schuster
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
The system can't perform the operation now. Try again later.
Articles 1–20