Ruifeng Xie
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2025
on a stage with
all 6 in the filters
who talks about the same things
- Zhenjiang Hu15 talks
- Xing Zhang3 talks
- Tom Schrijvers16 talks
- Xiao He2 talks
- Guanchen Guo2 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| Compositions for Free: Reasoning about Effectful Lenses | HOPE 2025 | 2025-10-12 |
Presents a construction that composes two different monads into a free polymonad so effects run in two staged layers and most roundtrip laws become theorems… | ||
| Effectful Lenses: There and Back with Different Monads | ICFP 2025 | 2025-10-12 |
Framework introduces effectful lenses that allow different monads in the two directions, using the lenses with complements encoding plus user-specified… | ||
| Biparsers: Exact Printing for Data Synchronisation | POPL 2025 | 2025-01-19 |
Claims a first biparser framework that achieves exact-printing with non-injective parsers by treating parser/printer pairs as monadic lenses, proving… | ||
| Fusing Direct Manipulations into Functional Programs | POPL 2024 | 2024-01-14 |
Operation-based system defines a small composable Delta language DM for edits (add, mul, tuple, list-fold, constraints) and a fusion algorithm that propagates… | ||
| nothing matches | ||