[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Formal comment: The denotational semantics
- To: Alex Shinn <alexshinn@x>
- Subject: Re: [Scheme-reports] Formal comment: The denotational semantics
- From: "Perry E. Metzger" <perry@x>
- Date: Thu, 5 Jul 2012 22:01:48 -0400
- Cc: Michael Sperber <sperber@x>, scheme-reports@x
- In-reply-to: <CAMMPzYMb=e9iHiJhcM5QXv=wFENK=2+9nytvMSOBsfnhBe=6GA@mail.gmail.com>
- References: <y9ltxxn2vv9.fsf@deinprogramm.de> <CAMMPzYMb=e9iHiJhcM5QXv=wFENK=2+9nytvMSOBsfnhBe=6GA@mail.gmail.com>
On Thu, 5 Jul 2012 06:12:14 +0900 Alex Shinn <alexshinn@x>
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@x
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports