31 citations · 92 across the 14 of their papers we have counts for
1 paper · 2 filters
Norman Danner
With one exception, our previous work on recurrence extraction and denotational semantics has focused on a source language that supports inductive types and structural recursion. T…