Jonathan Immanuel Brachthäuser
where else to find them
what they talk about
all 5 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 30 in the filters
who talks about the same things
- Philipp Schuster13 talks
- Klaus Ostermann14 talks
- Magnus Madsen11 talks
- Matthew Lutze5 talks
- Daniel Hillerström11 talks
- Sam Lindley27 talks
| title | conference | date |
|---|---|---|
| The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…) | OOPSLA 2025 | 2025-10-16 |
Claims that overloads are representable as explicit choices so constraint collection, solving, and resolution stay separate, using a flow-based variational… | ||
| Dynamic Wind for Effect Handlers | OOPSLA 2025 | 2025-10-16 |
Adds three handler clauses (on suspend, on resume, on return) to lexical effect handlers and formalizes semantics and a type system that make multi‑shot… | ||
| The Simple Essence of Monomorphization | OOPSLA 2025 | 2025-10-16 |
Presents a type-flow directed monomorphization that duplicates declarations by collecting type-flow constraints, solving them with a fixed-point graph… | ||
| 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… | ||
| Tracing Just-in-time Compilation for Effects and Handlers | OOPSLA 2025 | 2025-10-16 |
Implements an RPython-based tracing JIT that runs a common bytecode target for Eff, Effekt, and Koka, records hot traces and applies allocation removal and… | ||
| Multiple Resumptions and Local Mutable State, Directly | ICFP 2025 | 2025-10-12 |
A compilation strategy and runtime implement lexical effect handlers that support multiple resumptions plus stack-allocated mutable state by using a linked… | ||
| Qualifying System F-sub | OOPSLA 2024 | 2024-10-20 |
Paper claims a practical calculus System F<:Q that combines higher‑rank bounded polymorphism with a free lattice encoding of qualifier expressions, giving… | ||
| Capturing Types (TOPLAS) | POPL 2024 | 2024-01-14 |
A minimal calculus called CC<:◻ capture calculus extends System F<: with capture sets so types record which capability-like free variables values may retain… | ||
| Getting into the Flow: Towards Better Type Error Messages for Constraint-Based ... | OOPSLA 2023 | 2023-10-23 |
Proposes turning constraint-generation into explicit data flows by attaching provenances (sequences of source locations) to algebraic subtyping constraints… | ||
| 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… | ||
| With or Without You: Programming with Effect Exclusion | ICFP 2023 | 2023-09-04 |
A new Hindley‑Milner style type-and-effect system adds union, intersection and complement to express “any effects except these” and implements effect exclusion… | ||
| 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… | ||
| 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… | ||
| Two-level Just-in-Time Compilation with One Interpreter and One Engine | PEPM 2022 | 2022-01-17 |
Adaptive RPython generates both a baseline (threaded-code) JIT and a tracing JIT from one interpreter and one engine by producing multiple interpreter variants… | ||
| Multi-Stage Programming with Generative and Analytical Macros | GPCE 2021 | 2021-10-17 |
Defines a formal lambda-triangle calculus that models generative and analytical macros, quote patterns, and separate compilation; implements it in Scala 3… | ||
| Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) | TyDe 2021 | 2021-08-22 |
Claims a type system that composes directional effects with contextual effect polymorphism so handlers can give depending responses and be passed through… | ||
| 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… | ||
| Effect Handlers, Evidently | ICFP 2020 | 2020-08-23 |
Presents an evidence-passing translation that elaborates polymorphic algebraic effects into polymorphic lambda calculus, with a proof of soundness and… | ||
| 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… | ||
| Effect Handlers for the Masses | OOPSLA 2018 | 2018-11-07 |
First Java implementation of algebraic effect handlers: a library plus a bytecode toolchain that performs a type-selective CPS bytecode transform (preserves… | ||
| nothing matches | ||