Laura Israel

机构：Portland State University, University of Konstanz

发表论文 4 篇 · 总被引 4 次 · h-index 1

代表论文

• Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs (2024 · Proceedings of the ACM on Programming Languages · 被引 4)
• Unifying Hindsight and Foresight (Artifact) (2026 · Open MIND)
• Unifying Hindsight and Foresight (Artifact) (2026 · Zenodo (CERN European Organization for Nuclear Research))
• Unifying Hindsight and Foresight (2026 · Lecture notes in computer science)