Risultati della ricerca - Coltharp, Nicholas

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs Autoría: Xia, Li-yao, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Li, Yao