Jonathan Immanuel Brachthäuser
发表
Daan Leijen,
Ningning Xie,
Jonathan Immanuel Brachthäuser,
2020
.
Klaus Ostermann,
Tillmann Rendel,
Jonathan Immanuel Brachthäuser,
2016,
OOPSLA.
Klaus Ostermann,
Jonathan Immanuel Brachthäuser,
Philipp Schuster,
2020,
J. Funct. Program..
Klaus Ostermann,
Jonathan Immanuel Brachthäuser,
Philipp Schuster,
2018,
Proc. ACM Program. Lang..
Jonathan Immanuel Brachthäuser,
Philipp Schuster,
2018,
TyDe@ICFP.
Daan Leijen,
Jonathan Immanuel Brachthäuser,
Daniel Hillerström,
2020,
Proc. ACM Program. Lang..
Klaus Ostermann,
Tillmann Rendel,
Jonathan Immanuel Brachthäuser,
2014,
OOPSLA 2014.
Jonathan Immanuel Brachthäuser,
Philipp Schuster,
2017,
SCALA@SPLASH.
Jonathan Immanuel Brachthäuser,
2020
.
Matthias Hirzel,
Herbert Klaeren,
Jonathan Immanuel Brachthäuser,
2016,
PPPJ '16.
Klaus Ostermann,
Jonathan Immanuel Brachthäuser,
Philipp Schuster,
2020,
Proc. ACM Program. Lang..
Martin Odersky,
Jonathan Immanuel Brachthäuser,
Nicolas Stucki,
2021,
GPCE.
Martin Odersky,
Jonathan Immanuel Brachthäuser,
Nicolas Stucki,
2021,
MPLR.
Martin Odersky,
Jonathan Immanuel Brachthäuser,
Aleksander Boruch-Gruszecki,
2021,
SCALA@SPLASH.
Martin Odersky,
Ondrej Lhoták,
Jonathan Immanuel Brachthäuser,
2021,
ArXiv.
Jonathan Immanuel Brachthäuser,
2014
.
Jonathan Immanuel Brachthäuser,
Aleksander Boruch-Gruszecki,
Edward Lee,
2022,
Proc. ACM Program. Lang..
Jonathan Immanuel Brachthäuser,
O. Lhoták,
Martin Odersky,
2022,
ArXiv.
Jonathan Immanuel Brachthäuser,
Martin Odersky,
Olivier Blanvillain,
2022,
Proc. ACM Program. Lang..