Personal information

Websites & social links

Website

Activities

Collapse all

Employment (1)

Eberhard Karls Universität Tübingen: Tubingen, Baden-Württemberg, DE

Professor (Computer Science)
Employment
Source: Self-asserted source
Klaus Ostermann

Works (5)

Grokking the Sequent Calculus (Functional Pearl)

Proceedings of the ACM on Programming Languages
2024-08-15 | Journal article
DOI: 10.1145/3674639
Contributors: David Binder; Marco Tzschentke; Marius Müller; Klaus Ostermann
Source: check_circle
Crossref

Deriving Dependently-Typed OOP from First Principles

Proceedings of the ACM on Programming Languages
2024-04-29 | Journal article
DOI: 10.1145/3649846
Contributors: David Binder; Ingo Skupin; Tim Süberkrüb; Klaus Ostermann
Source: check_circle
Crossref

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
DOI: 10.1145/3622831
Contributors: Marius Müller; Philipp Schuster; Jonathan Lindegaard Starup; Klaus Ostermann; Jonathan Immanuel Brachthäuser
Source: check_circle
Crossref

Back to Direct Style: Typed and Tight

Proceedings of the ACM on Programming Languages
2023-04-06 | Journal article
DOI: 10.1145/3586056
Contributors: Marius Müller; Philipp Schuster; Jonathan Immanuel Brachthäuser; Klaus Ostermann
Source: check_circle
Crossref

Introduction and elimination, left and right

Proceedings of the ACM on Programming Languages
2022-08-29 | Journal article
DOI: 10.1145/3547637
Contributors: Klaus Ostermann; David Binder; Ingo Skupin; Tim Süberkrüb; Paul Downen
Source: check_circle
Crossref
How many people are using ORCID?