17 citations · 35 across the 10 of their papers we have counts for
1 paper · 1 filter
Nobuko Yoshida, Kohei Honda, Martin Berger
We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exporte…