Edsko de Vries
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- Haskell2 editions2023–2025
on a stage with
- Armando Solar-Lezamaonce
- Dominik Schrempfonce
- James Koppelonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Automatic C bindings generation for Haskell | Haskell 2025 | 2025-10-16 |
hs-bindgen automatically generates GHC Haskell FFI bindings from C header files using libclang to get sizes offsets and AST details and emitting C wrapper… | ||
| falsify: Internal Shrinking Reimagined for Haskell | Haskell 2023 | 2023-09-08 |
falsify implements internal shrinking for Haskell by parsing an infinite splitable sample tree of RNG bits into values rather than by pairing generators with… | ||
| Severing ties: the need for non-updateable thunks | HIW 2023 | 2023-09-04 |
Lazy thunk updates create long in-memory instruction chains and trigger expensive major GCs; duplicating thunks before pattern-matching severs those links so… | ||
| Searching Entangled Program Spaces | ICFP 2022 | 2022-09-11 |
Introduces equality-constrained tree automata to compactly represent program spaces where subterm choices are entangled, and implements extraction and lazy… | ||
| nothing matches | ||