Stefan Monnier
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 4 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection | ISMM 2025 | 2025-06-17 |
Embeds a spanning forest embedded in reference graph and maintains it on each pointer update so the runtime can perform immediate synchronous cycle… | ||
| The Design of a Self-Compiling C Transpiler Targeting POSIX Shell | SLE 2024 | 2024-10-20 |
A C-to-POSIX-shell transpiler called pnut is implemented in C and is self-applicable: it compiles itself to human-readable shell that runs on POSIX shells… | ||
| Normalizable types | TyDe 2024 | 2024-09-06 |
Proposes an adjusted normalized-quotient design that separates typechecking and runtime reduction so canonicalization runs only during checking and is erased… | ||
| Moebius: Metaprogramming using Contextual Types | POPL 2022 | 2022-01-16 |
Moebius provides a formal metaprogramming core: a multi-level contextual modal lambda-calculus that generates System F–style polymorphic code, lets open code… | ||
| nothing matches | ||