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

["Perry E. Metzger" <perry@x>]

On Fri, 6 Jul 2012 01:42:06 -0400 John Cowan <cowan@x>
wrote:
> Perry E. Metzger scripsit:
> 
> > A +1 for switching to an operational semantics. It would be
> > especially cool to develop an executable semantics...
> 
> If we are to take the semantics seriously, I think it means
> developing one whose soundness can be established with a proof
> assistant.
> 

Agreed. (I had somewhat assumed it, in fact.)

Perry
-- 
Perry E. Metzger		perry@x

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