Rutger Broekhoff
where else to find them
website:https://fautchen.eu/
github:rutgerbrf
bluesky:fautchen.eu
mastodon:@rutgerbroekhoff@hachyderm.io
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Robbert Krebbersonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Verified Interpreters for Dynamic Languages with Applications to the Nix Expression(…) | ICFP 2025 | 2025-10-12 |
Paper presents a substitution-based operational semantics using deferred substitutions for dynamic name binding, extends call-by-name lambda calculus to model… | ||
| nothing matches | ||