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

Re: [Scheme-reports] Formal comment: The denotational semantics

On Sat, 7 Jul 2012 12:10:12 -0400 (EDT) will@x wrote:
> So far as I can tell, the current state of the art for
> describing the formal semantics of Scheme is described
> by these two papers, which were presented at the 2008
> Workshop on Scheme and Functional Programming:

As a general process question: could WG1 vote in the "English" part
of the spec and later amend it with a completed formal semantics
(possibly with some minor patches to deal with ambiguities
discovered in the course of creating them)? The formal semantics might
take a while, but it would be a shame not to have them.

Perry E. Metzger		perry@x

Scheme-reports mailing list