1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Sebastian Graf, Simon Peyton Jones, Sven Keidel
We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational…