[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Denotational semantics for SIGPLAN?

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.

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.