An Adequate Operational Semantics for Sharing in Lazy Evaluation
Abstract elided by the publisher.
Related papers
- A Natural Semantics for Lazy Evaluation POPL 1993
- An operational semantics for parallel lazy evaluation ICFP 2000
- Deriving a Lazy Abstract Machine JFP 1997
- Call-by-need is clairvoyant call-by-value ICFP 2019
- A systematic derivation of the STG machine verified in Coq Haskell 2010
- A Brookes-Style Denotational Semantics for Release/Acquire Concurrency TOPLAS 2025
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- Compositional semantics for composable continuations: from abortive to delimited control ICFP 2014