The adequacy of Launchbury's natural semantics for lazy evaluation*
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Functional Programming"
DOI: 10.1017/s0956796817000144
Abstract: Abstract In his seminal paper “A Natural Semantics for Lazy Evaluation”, John Launchbury proves his semantics correct with respect to a denotational semantics, and outlines a proof of adequacy. Previous attempts to rigorize the adequacy… read more here.
Keywords: lazy evaluation; semantics lazy; adequacy; natural semantics ... See more keywords