31 citations · 47 across the 16 of their papers we have counts for
1 paper · 1 filter
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…