Folgen
Philipp Schuster
Philipp Schuster
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei uni-tuebingen.de
Titel
Zitiert von
Zitiert von
Jahr
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
362020
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, 2020
352020
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
352017
Effect handlers for the masses
JI Brachthäuser, P Schuster, K Ostermann
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
292018
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
242020
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
242020
Typing, representing, and abstracting control: functional pearl
P Schuster, JI Brachthäuser
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven …, 2018
142018
Incremental -Calculus in Cache-Transfer Style
PG Giarrusso, Y Régis-Gianas, P Schuster
European Symposium on Programming, 553-580, 2019
82019
Algebraic effects for the masses
JI Brachthäuser, P Schuster, K Ostermann
Proc. ACM on Programming Languages 2, 2018
62018
Effekt: Extensible algebraic effects in scala
JI Brachthäuser, P Schuster
Proceedings of 8th ACM SIGPLAN International Scala Symposium, 2017
62017
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
52022
Effekt: Lightweight effect polymorphism for handlers
JI Brachthäuser, P Schuster, K Ostermann
Technical Report. University of Tübingen, Germany, 2020
42020
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
22022
Zero-cost Effect Handlers by Staging
P Schuster, JI Brachthäuser, K Ostermann
submission, 2020
22020
Incremental λ-calculus in cachetransfer style
PG Giarrusso, Y Régis-Gianas, P Schuster
Programming Languages and Systems, Lecture Notes in Computer Science, 553-580, 0
2
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
12022
Effects, Capabilities, and Boxes
JI BRACHTHÄUSER, P SCHUSTER, E LEE, A BORUCH-GRUSZECKI
2022
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
“All About That Stack: A Unified Treatment of Regions and Control Effects”.
P Schuster, JI Brachthäuser, K Ostermann, N Xie, D Hillerström, D Leijen, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20