1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2025
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
David M Kahn, Jan Hoffmann, Runming Li
As is evident in the programming language literature, many practitioners favor specifying dynamic program behavior using big-step over small-step semantics. Unlike small-step seman…
cs.PL2025★ 1 cited
Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
Runming Li, Robert Harper
In the original work on the cost-aware logical framework by Niu et al., a dependent variant of the call-by-push-value language for cost analysis, the authors conjectured that the c…
cs.PL2023
A Verified Cost Analysis of Joinable Red-Black Trees
Runming Li, Harrison Grodin, Robert Harper
Ordered sequences of data, specified with a join operation to combine sequences, serve as a foundation for the implementation of parallel functional algorithms. This abstract data…