conf.researchr.org / Li-yao Xia
Registered user since Sat 4 Jan 2020
Name:Li-yao Xia
Country:France
Affiliation:LMF, Inria, Université Paris-Saclay
Personal website: https://poisson.chat
Contributions
2024
ICFP
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the Artifact Evaluation-track
- Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the ICFP Papers and Events-track