Hans Hüttel
where else to find them
no profile links on file
what they talk about
where they keep going back
- PEPM3 editions2021–2026
on a stage with
all 16 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations | PEPM 2026 | 2026-01-11 |
Proposes Computation-Tree Semantics where configurations are trees that encode evaluation contexts and continuations, making semantic rules algorithmic rather… | ||
| A type safe calculus for generating syntax-directed editors | PEPM 2025 | 2025-01-21 |
A generalized editor calculus is presented that guarantees that well-typed editor scripts produce well-formed programs by encoding the calculus into a simply… | ||
| Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus | ARRAY 2024 | 2024-06-25 |
Translate a simplified Futhark-like language ButF into a Pi-calculus extended with broadcasting and labelled names, implement arrays as a network of persistent… | ||
| A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures | PEPM 2021 | 2021-01-18 |
Two short papers: one builds a type-safe editor calculus with cursors, holes, breakpoints and a small-step semantics and gives a behavioral type system… | ||
| nothing matches | ||