Powered by
Proceedings of the ACM on Programming Languages, Volume 8, Number ICFP,
September 2–7, 2024,
Milan, Italy
Frontmatter
Papers
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Li-yao Xia,
Laura Israel,
Maite Kramarz,
Nicholas Coltharp,
Koen Claessen,
Stephanie Weirich, and
Yao Li
(Unaffiliated, France; Portland State University, USA; University of Toronto, Canada; Chalmers University of Technology, Sweden; University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
Cole Kurashige,
Ruyi Ji,
Aditya Giridharan,
Mark Barbone,
Daniel Noor,
Shachar Itzhaky,
Ranjit Jhala, and
Nadia Polikarpova
(University of California at San Diego, USA; Peking University, China; Technion, Israel)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Synchronous Programming with Refinement Types
Jiawei Chen,
José Luiz Vargas de Mendonça,
Bereket Shimels Ayele,
Bereket Ngussie Bekele,
Shayan Jalili,
Pranjal Sharma,
Nicholas Wohlfeil,
Yicheng Zhang, and
Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
proc time: 4.66