Denotational semantics for SIGPLAN?

[John D. Ramsdell <ramsdell%linus@mitre-bedford.ARPA>]

Are there plans to include a semantic description of
Scheme in the SIGPLAN report?  If the denotational
semantics is completed, I would very much like to see 
Scheme presented with it.
John

P.S.
In my opinion:

1)  #t and #f are preferable over #!true and #!false.

2)  Its good to include the boolean? predicate.

3)  Local defines should be an alternate syntax for
    LETREC as advocated by Bill.