Nicolas Chataing
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
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Unboxed data constructors -- or, how cpp decides a halting problem | POPL 2024 | 2024-01-14 |
Adds selective unboxing to OCaml with a prototype compiler and a static check that rejects unboxings that would create overlapping representations, yielding up… | ||
| Unfolding ML Datatype Declarations Without Loops | ML 2021 | 2021-08-26 |
Presents a technique for expanding ML-style algebraic datatype declarations into fully-defined type representations without using recursive loops or explicit… | ||
| nothing matches | ||