20 citations · 38 across the 3 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…