Seuraa
Philipp Schuster
Philipp Schuster
Vahvistettu sähköpostiosoite verkkotunnuksessa uni-tuebingen.de
Nimike
Viittaukset
Viittaukset
Vuosi
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
582020
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
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
212022
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
52022
Effekt: Lightweight effect polymorphism for handlers
JI Brachthäuser, P Schuster, K Ostermann
Technical Report. University of Tübingen, Germany, 2020
52020
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
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
With or Without You: Programming with Effect Exclusion
P Schuster, M Madsen, M Lutze
Proceedings of the ACM on Programming Languages 7 (ICFP), 2023
2023
Typed Continuation-Passing for Lexical Handlers
P Schuster, JI Brachthäuser, M Müller, K Ostermann
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20