3 citations · 7 across the 9 of their papers we have counts for
1 paper · 1 filter
Scott Smith, Robert Zhang
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as…