Sledovat
Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Jun. Prof., Software Engineering, University of Tübingen, Germany
E-mailová adresa ověřena na: b-studios.de - Domovská stránka
Název
Citace
Citace
Rok
Effects as capabilities: effect handlers and lightweight effect polymorphism
JI Brachthäuser, P Schuster, K Ostermann
Proceedings of the ACM on Programming Languages, 2020
842020
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
522020
Effect handlers for the masses
JI Brachthäuser, P Schuster, K Ostermann
Proceedings of the Conference on Object-Oriented Programming, Systems …, 2018
44*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
42*
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
372017
Compiling Effect Handlers in Capability-Passing Style
P Schuster, JI Brachthäuser, K Ostermann
ACM SIGPLAN International Conference on Functional Programming 4, 28, 2020
352020
From object algebras to attribute grammars
T Rendel, JI Brachthäuser, K Ostermann
ACM SIGPLAN Notices 49 (10), 377-395, 2014
342014
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
302022
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
212021
Type-level programming with match types
O Blanvillain, J Brachthäuser, M Kjaer, M Odersky
Proc. ACM Program. Lang. 6 (POPL), 24, 2021
202021
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
162023
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
Tracking captured variables in types
A Boruch-Gruszecki, JI Brachthäuser, E Lee, O Lhoták, M Odersky
arXiv preprint arXiv:2105.11896, 2021
122021
Scoped capabilities for polymorphic effects
M Odersky, A Boruch-Gruszecki, E Lee, J Brachthäuser, O Lhoták
arXiv preprint arXiv:2207.03402, 2022
112022
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
11*2021
Parsing with first-class derivatives
JI Brachthäuser, T Rendel, K Ostermann
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
102016
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
92022
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), 104-125, 2018
92018
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
72023
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20