Registered user since Tue 28 May 2024
Name:Koen Claessen
Country:Sweden
Affiliation:Chalmers University of Technology
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
- PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
ICFP 2024-profile
View general profile
View general profile