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
572020
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
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
412017
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
392020
Effect handlers for the masses
JI Brachthäuser, P Schuster, K Ostermann
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
39*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
302020
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
192022
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
14*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: Lightweight effect polymorphism for handlers
JI Brachthäuser, P Schuster, K Ostermann
Technical Report. University of Tübingen, Germany, 2020
52020
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
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
22023
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
K Ostermann, JI Brachthäuser, P Schuster, M Müller
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 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
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
The system can't perform the operation now. Try again later.
Articles 1–20