Maite Kramarz - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Wed 19 Apr 2023

Name:Maite Kramarz

Country:Canada

Affiliation:University of Toronto

Personal website: https://mkramarz.com

Contributions

2024

ICFP

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

Show activities from other conferences

ICFP 2024-profile
View general profile