Login / Signup
Maite Kramarz
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Supply Chain
Multiply Sectioned Bayesian Networks
Image Analysis
Top Venues
CoRR
</>
Publications
</>
Li-yao Xia
,
Laura Israel
,
Maite Kramarz
,
Nicholas Coltharp
,
Koen Claessen
,
Stephanie Weirich
,
Yao Li
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.
CoRR
(2024)