Benoît Montagu
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Pre... | Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | 2023-09-08 |
A static analyser called Salto analyser implements an abstract interpreter for OCaml that claims to precisely detect which exceptions can be raised and when… | ||
| Stable relations and abstract interpretation of higher-order programs | SPLASH 2022 | 2022-12-05 |
Defines a denotational semantics where terms are stable relations (binary relations between substitutions and values) and proves it sound and complete against… | ||
| Stable Relations and Abstract Interpretation of Higher-Order Programs | ICFP 2020 | 2020-08-23 |
Defines a denotational semantics for the untyped call-by-value lambda calculus as stable relations (monotone relations from substitutions to value sets) and… | ||
| nothing matches | ||