Stephanie Weirich - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Fri 9 Sep 2016

Name:Stephanie Weirich

Country:United States

Affiliation:University of Pennsylvania

Personal website: https://www.cis.upenn.edu/~sweirich/

Research interests:Functional Programming, Type Systems

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