Philipp Schuster
where else to find them
no profile links on file
what they talk about
where they keep going back
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Jonathan Immanuel Brachthäuser22 talks
- Klaus Ostermann14 talks
- Daniel Hillerström11 talks
- Sam Lindley27 talks
- Magnus Madsen11 talks
- Matthew Lutze5 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| 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… | ||
| 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… | ||
| 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… | ||
| 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… | ||
| nothing matches | ||