Harald Sondergaard
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Graeme Gangeonce
- Jorge A. Navasonce
- Peter J. Stuckeyonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Co... | PEPM 2024 | 2024-01-16 |
Forty years ago a small team builds Mix, a Lisp-based partial evaluator, and by late 1984 finally achieves practical self-application, proving the second and… | ||
| Disjunctive Interval Analysis | SAS 2021 | 2021-10-17 |
Proposes range decision diagrams (RDDs) as a compact Boxes implementation that avoids constraint substitution and no dependence on a theory solver, and that… | ||
| nothing matches | ||