Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruifeng Xie
conf.researchr.org general profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Sun 28 Sep 2025
Name:
Ruifeng Xie
Affiliation:
Peking University
Contributions
2025
ICFP
Author of Effectful Lenses: There and Back with Different Monads within the ICFP Papers-track
HOPE
Author of Compositions for Free: Reasoning about Effectful Lenses within the HOPE 2025-track
POPL
Committee Member in Student Volunteers
Author of Biparsers: Exact Printing for Data Synchronisation within the POPL-track
2024
ICFP
Author of Contract Lenses: Reasoning about Bidirectional Programs via Calculation within the JFP First Papers-track
POPL
Author of Fusing Direct Manipulations into Functional Programs within the POPL-track
Share
x
Mon 27 Oct 16:58