On Thu, 5 Jul 2012 06:12:14 +0900 Alex Shinn <alexshinn@gmail.com>
wrote:
> The WG is currently debating updating the denotational
> semantics or switching to an operational semantics.

A +1 for switching to an operational semantics. It would be
especially cool to develop an executable semantics...

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