[r6rs-discuss] operational or denotational semantics?
lord at emf.net
Sun Feb 25 01:19:30 EST 2007
R6RS should have both, with a consistency proof, page count
A conservative denotational as "must" and a usable
operational as "for example".
More information about the r6rs-discuss