Login / Signup

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

Li-yao XiaLaura IsraelMaite KramarzNicholas ColtharpKoen ClaessenStephanie WeirichYao Li
Published in: CoRR (2024)
Keyphrases
  • image analysis
  • data analysis
  • database systems
  • supply chain
  • statistical analysis
  • multiply sectioned bayesian networks