conf.researchr.org / Maite Kramarz
Registered user since Wed 19 Apr 2023
Name:Maite Kramarz
Country:Canada
Affiliation:University of Toronto
Personal website: https://mkramarz.com
Contributions
2026
2024
ICFP
- 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
- 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