Klaus Ostermann
Eberhard Karls Universität Tübingen
H-index: 34
Europe-Germany
Top articles of Klaus Ostermann
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Deriving Dependently-Typed OOP from First Principles--Extended Version with Additional Appendices | Klaus Ostermann Tim Süberkrüb Ingo Skupin David Binder | 2024/3/11 | |
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers | Proceedings of the ACM on Programming Languages | Marius Müller Philipp Schuster Jonathan Lindegaard Starup Klaus Ostermann Jonathan Immanuel Brachthäuser | 2023/10/16 |
Masterthesis Computer Science | Lukas Sailer Torsten Grust Klaus Ostermann Jakob Thiersch Thomas Graf | 2023/9/28 | |
Back to Direct Style: Typed and Tight | Proceedings of the ACM on Programming Languages | Klaus Ostermann Jonathan Immanuel Brachthäuser Philipp Schuster Marius Müller | 2023/4/6 |
Data-Codata Symmetry and its Interaction with Evaluation Order | Klaus Ostermann David Binder Ingo Skupin Julian Jabs | 2022/11/23 | |
Structural refinement types | David Binder Ingo Skupin David Läwen Klaus Ostermann | 2022/9/6 | |
A typed continuation-passing translation for lexical effect handlers | Philipp Schuster Jonathan Immanuel Brachthäuser Marius Müller Klaus Ostermann | 2022/6/9 | |
Region-based resource management and lexical exception handlers in continuation-passing style | Philipp Schuster Jonathan Immanuel Brachthäuser Klaus Ostermann | 2022/3/29 | |
Lateral Join for SQLite | Jonatan Braun Torsten Grust Klaus Ostermann | 2021 | |
Compiling effect handlers in capability-passing style | Proceedings of the ACM on Programming Languages | Philipp Schuster Jonathan Immanuel Brachthäuser Klaus Ostermann | 2020/8/2 |
SCAPA: Development of a questionnaire assessing self-concept and attitudes toward programming | Luzia Leifheit Katerina Tsarava Manuel Ninaus Klaus Ostermann Jessika Golle | 2020/6/15 | |
Zero-cost Effect Handlers by Staging | Philipp Schuster Jonathan Immanuel Brachthäuser Klaus Ostermann | 2020 | |
Effekt: Lightweight effect polymorphism for handlers | Jonathan Immanuel Brachthäuser Philipp Schuster Klaus Ostermann | 2020 | |
Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala | Journal of Functional Programming | Jonathan Immanuel Brachthäuser Philipp Schuster Klaus Ostermann | 2020/1 |