Robert Glück
where else to find them
what they talk about
where they keep going back
- PEPM2 editions2023–2024
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Partial Evaluation of Reversible Flowchart Programs | PEPM 2024 | 2024-01-16 |
Presents a fully formalized specializer for a reversible flowchart language (RL), implemented and published on GitHub, with concrete fixes: uniform… | ||
| Towards Type Debugging using Partial Evaluation | PEPM 2023 | 2023-01-16 |
Method executes ill-typed programs by freeze likely-error sites using compiler type-inferencer error reports, then iteratively reduce frozen regions with type… | ||
| nothing matches | ||