Checking a Denotational Semantics of Scheme in Agda
Peter D. Mosses · 2025
The authoritative standards for the algorithmic language Scheme are the Scheme reports. Most of the revised reports include a denotational semantics for primitive Scheme expressions and selected procedures.