31 citations · 47 across the 16 of their papers we have counts for
1 paper · 2 filters
Joachim Breitner
In his seminal paper "A Natural Semantics for Lazy Evaluation", John Launchbury proves his semantics correct with respect to a denotational semantics. We machine-checked the proof…