Didier Rémy
where else to find them
bluesky:didierremy.bsky.social
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Gabriel Radanne11 talks
- Clément Blaudeau4 talks
- Gabriel Scherer12 talks
- Derek Dreyer35 talks
- Ambroise Lafont3 talks
- Paulo Emílio de Vilhena5 talks
| title | conference | date |
|---|---|---|
| Omnidirectional type inference for ML | WITS 2026 | 2026-01-17 |
Proposes omnidirectional type inference: constraints can suspend on unification variables and resume when shape information arrives via suspended match… | ||
| Implicit modules, a middle step towards modular implicits | ML 2025 | 2025-11-24 |
Claims a working implementation and formalization of modular implicits prototype for OCaml: a module-elaboration engine that synthesizes first-class module… | ||
| Avoiding signature avoidance in ML modules with zippers | POPL 2025 | 2025-01-19 |
ZipML presents a path-based type system that prevents signature avoidance by adding floating fields—hidden signature fields represented as zippers—and four… | ||
| On the design and implementation of Modular Explicits | OCaml 2024 | 2024-09-07 |
An OCaml compiler extension implements module-dependent functions that let functions take first-class modules and use module components in result types, fixing… | ||
| nothing matches | ||