Klaus Ostermann
where else to find them
what they talk about
where they keep going back
all 5 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Philipp Schuster13 talks
- Jonathan Immanuel Brachthäuser22 talks
- Marius Müller6 talks
- Magnus Madsen11 talks
- Sam Lindley27 talks
- Daniel Hillerström11 talks
| title | conference | date |
|---|---|---|
| Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation | OOPSLA 2025 | 2025-10-16 |
An intermediate representation called Xcut intermediate representation encodes classical sequent calculus as a normalized term language with formal typing and… | ||
| Deriving Dependently-Typed OOP from First Principles | OOPSLA 2024 | 2024-10-20 |
Derives a dependently typed object-oriented fragment by duality and gives a concrete calculus with two symmetric language fragments plus type- and… | ||
| From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect ... | OOPSLA 2023 | 2023-10-23 |
A typed, semantics- and typability-preserving lift-inference translation converts a source language with second-class capabilities into a region calculus that… | ||
| Back to Direct Style: Typed and Tight | OOPSLA 2023 | 2023-10-23 |
Two typed languages are presented: a direct-style language and a CPS language, each with an abstract-machine semantics, plus translations both ways that are… | ||
| Lift Inference for Lexical Effect Handlers with Second-Class Functions | HOPE 2022 | 2022-09-11 |
Presents an algorithm that infers lifting information for lexical effect handlers by translating System Xi (with second-class functions) into Lambda_cap with… | ||
| Structural Refinement Types | TyDe 2022 | 2022-09-11 |
A lightweight refinement-type system and inference algorithm extends algebraic subtyping with rules from polymorphic variants to infer precise refinements… | ||
| Lift Inference for Lexical Effect Handlers with Second-Class Functions | HOPE 2022 | 2022-09-11 |
Claims a concrete compiler pass that infers lifting information for a core language with second‑class functions and emits explicit region evidence so lexical… | ||
| Introduction and Elimination, Left and Right | ICFP 2022 | 2022-09-11 |
Claims that four rule choices—right/left introduction and elimination—yield four distinct program structures but are equally expressive through mechanical… | ||
| A Typed Continuation-Passing Translation for Lexical Effect Handlers | PLDI 2022 | 2022-06-13 |
Claims a sound translation of lexical effect handlers to pure System F via a continuation-passing translation that needs no runtime support. Handlers, regions… | ||
| Choosing Mathematical Function Implementations for Speed and Accuracy | PLDI 2022 | 2022-06-13 |
A tool named optuner selects among 45 cosine and 49 sine implementations (about 4.8 million configurations) by building a linear error model from Taylor… | ||
| Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism | OOPSLA 2020 | 2020-11-15 |
A new language called Effekt implements contextual effect polymorphism by making function-like blocks second class so they cannot escape, providing a… | ||
| Compiling Effect Handlers in Capability-Passing Style | ICFP 2020 | 2020-08-23 |
A compilation technique translates effect handlers written in capability-passing style into simply-typed lambda calculus using iterated continuation-passing… | ||
| nothing matches | ||