Maite Kramarz

机构：University of Toronto · ORCID：0009-0006-0623-2293

发表论文 4 篇 · 总被引 5 次 · 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)
• Artifact for "Mechanised Semantics of Multi-Stage Programming" (2026 · Zenodo (CERN European Organization for Nuclear Research) · 被引 1)
• Mechanised Semantics of Multi-stage Programming (2026 · Proceedings of the ACM on Programming Languages)
• Artifact for "Mechanised Semantics of Multi-Stage Programming" (2026 · Zenodo (CERN European Organization for Nuclear Research))