On Sat, 7 Jul 2012 12:10:12 -0400 (EDT) will@ccs.neu.edu 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
--
Perry E. Metzger		perry@piermont.com

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports