Jonathan Immanuel Brachthäuser, M.Sc.

Jonathan Brachthäuser
Universität Tübingen
WSI - Programmiersprachen
Sand 13
72076 Tübingen
Germany
- Telephone
- +49 - (0) 70 71 - 29 - 75 491
- Telefax
- +49 - (0) 70 71 - 29 - 50 82
- jonathan.brachthaeuser(at)uni-tuebingen.de
- Office
- B213
- Office hours
- by appointment (see calendar)
Research Projects
Algebraic Effect Handlers
Algebra Composition
Publications
Effekt: Type- and Effect-safe, Extensible Effect Handlers in Scala
by Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
Unpublished. Under consideration for publication in Journal of Functional Programming, 2019.
Learn More
Programming with Implicit Values, Functions, and Control
by Jonathan Immanuel Brachthäuser and Daan Leijen
Technical report MSR-TR-2019-7. Microsoft Research, 2019.
Learn More
Zero-cost Effect Handlers by Staging (Technical Report)
by Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann
In Under consideration for publication in Proc. Conf. Programming Language Design and Implementation (PLDI). ACM Press, 2019.
Learn More
Effect Handlers for the Masses
by Jonathan Brachthäuser, Philipp Schuster, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2018.
Learn More
Typing, Representing, and Abstracting Control: Functional Pearl
by Philipp Schuster and Jonathan Brachthäuser
In Proceedings of the International Workshop on Type-Driven Development. ACM Press, 2018.
Learn More
Towards Naturalistic EDSLs using Algebraic Effects
by Jonathan Immanuel Brachthäuser
In Workshop for Domain Specific Languages, Design and Implementation (DSLDI), 2017.
Learn More
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
by Jonathan Immanuel Brachthäuser and Philipp Schuster
In Proceedings of the International Symposium on Scala. ACM Press, 2017.
Learn More
Parsing with First-Class Derivatives
by Jonathan Brachthäuser, Tillmann Rendel, and Klaus Ostermann
In Proc. Int’l Conf. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2016.
Learn More
Modularization of Algorithms on Complex Data Structures: An Encoding of Typesafe Extensible Functional Objects
by Jonathan Immanuel Brachthäuser
Master thesis. University of Marburg, Germany, 2014.
Learn More
From Object Algebras to Attribute Grammars
by Tillmann Rendel, Jonathan Brachthäuser, and Klaus Ostermann
In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), pages 377–395. ACM Press, 2014.
Learn More