Jonathan Immanuel Brachthäuser

According to our database1, Jonathan Immanuel Brachthäuser authored at least 12 papers between 2014 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Tracking Captured Variables in Types.
CoRR, 2021

2020
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages.
PhD thesis, 2020

Effect handlers, evidently.
Proc. ACM Program. Lang., 2020

Compiling effect handlers in capability-passing style.
Proc. ACM Program. Lang., 2020

Effects as capabilities: effect handlers and lightweight effect polymorphism.
Proc. ACM Program. Lang., 2020

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.
J. Funct. Program., 2020

2018
Effect handlers for the masses.
Proc. ACM Program. Lang., 2018

Typing, representing, and abstracting control: functional pearl.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018

2017
Effekt: extensible algebraic effects in Scala (short paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

2016
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code.
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

Parsing with first-class derivatives.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014
From object algebras to attribute grammars.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014


  Loading...