It actually sounds more like cancellation parsing than frost's approach

(which iirc was more that left recursion is bounded by input length)