On Sat, 7 Jul 2012 12:10:12 -0400 (EDT) [email protected] 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 [email protected] _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
